Dynamic Semantics of Quantified Modal Mu-Calculi and Its Applications to Modelling Public Referents, Speaker’s Referents, and Semantic Referents

A generalized QG-semantics of Quantified Modal Logics (QMLs) is proposed by exploiting Goldblatt & Marefs [30] Quantified General Frame semantics of QMLs to solve the Kripke-imcompleteness problem with some QMLs. It is extended by adding formulas of modal mu-calculi to model speaker’s referents and public referents. Furthermore, dynamic semantics of a quantified modal mu-calculus is formalized based on the generalized QG-semantics.