Dynamic semantics of quantified modal mu-calculi and its applications to modelling public referents, speaker's referents, and semantic referents

Authors:
Norihiro Ogata
Affiliations:
Department of Language and Information, Osaka University, Toyonaka, Osaka, Japan
Venue:
JSAI'07 Proceedings of the 2007 conference on New frontiers in artificial intelligence
Year:
2007

Citing 7
Cited 0

Notions of computation and monads

Information and Computation
Incompleteness results in Kripke semantics

Journal of Symbolic Logic
Duality and the completeness of the modal &mgr;-calculus

Selected papers of the workshop on Topology and completion in semantics
Duality for modal &mgr;-logics

Theoretical Computer Science
First-order modal logic

First-order modal logic
Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)

Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)
Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics)

Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.