Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
New Frontiers in Artificial Intelligence (JSAI 2007)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4914))

Included in the following conference series:

  • 1104 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ambler, S., Kwiatkowska, M.Z., Measor, N.: Duality and the completeness of the modal μ-calculus. Theoretical Computer Science 151, 3–27 (1995)

    Article  MathSciNet  Google Scholar 

  2. Bonsangue, M.M., Kwiatkowska, M.Z.: Re-interpreting the modal μ-calculus. In: Ponse, A., de Rijke, M., Venema, Y. (eds.) Modal Logic and Process Algebra: A Bisimulation Perspective, CSLI, Stanford, pp. 65–83 (1995)

    Google Scholar 

  3. Hartonas, C.: Duality for modal μ-logics. Theoretical Computer Science 202, 193–222 (1998)

    Article  MathSciNet  Google Scholar 

  4. Alberucci, L.: The Modal μ-Calculus and the Logic of Common Knowledge. PhD thesis, Universität Bern (2002)

    Google Scholar 

  5. Kripke, S.A.: Speaker’s reference and semantic reference. Midwest Studies in Philosophy 2, 255–276 (1977)

    Article  Google Scholar 

  6. Dekker, P., van Rooy, R.: Intentional identity and information exchange. In: Gamkrelidze, R.C.T. (ed.) Proceedings of the Second Tbilisi Symposium on Language, Logic and Computation, Tbilisi State University, Tbilisi (1998)

    Google Scholar 

  7. Parsons, T.: Nonexistent Objects. Yale University Press, New Heaven (1980)

    Google Scholar 

  8. Kaneko, M.: Common knowledge logic and game logic. The Journal of Symbolic Logic 64, 685–700 (1999)

    Article  MathSciNet  Google Scholar 

  9. Kaneko, M., et al.: A map of common knowledge logics. Studia Logica 71, 57–86 (2002)

    Article  MathSciNet  Google Scholar 

  10. Garson, J.W.: Quantification in modal logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. II, pp. 249–307. D. Reidel Publishing Company, Dordrecht (1984)

    Chapter  Google Scholar 

  11. Schurz, G.: Alethic modal logic and semantics. In: Jacquette, D. (ed.) A Companion to Philosophical Logic, pp. 442–477. Blackwell, Oxford (2001)

    Google Scholar 

  12. Corsi, G.: A unified completeness theorem for quantified modal logics. Journal of Symbolic Logic 67, 1483–1510 (2002)

    Article  MathSciNet  Google Scholar 

  13. Thomason, R.H.: Some completeness results for modal predicate calculi. In: Lambert, K. (ed.) Philosophical Problems in Logic: Some Recent Develeopments, pp. 56–76. D. Reidel Publishing Company, Dordrecht (1969)

    Google Scholar 

  14. Ghilardi, S.: Incompleteness results in Kripke semantics. Journal of Symbolic Logic 56, 517–538 (1991)

    Article  MathSciNet  Google Scholar 

  15. Skvortsov, D., Shetman, V.: Maximal Kripke-type semantics for modal and superintuitionistic predicate logics. Annals of Pure and Applied Logic 63, 69–101 (1993)

    Article  MathSciNet  Google Scholar 

  16. Shirasu, H.: Duality in superintuitionistic and modal predicate logics. In: Balbiani, P., et al. (eds.) Advance of Modal Logic, CSLI, Stanford, vol. I, pp. 223–236 (1998)

    Google Scholar 

  17. Gabbay, D.M., Shetman, V., Skvortsov, D.: Quantifiation in Nonclassical Logic (Draft: March 13, 2007). Elsevier Science, Amsterdam (2007)

    Google Scholar 

  18. Kracht, M., Kutz, O.: The semantics of modal predicate logic i: Counterpart frames. In: Wolter, F., et al. (eds.) Advances in Modal Logics, vol. 3, pp. 299–320. World Scientific Publishing Co. Pte. Ltd., Singapore (2002)

    Chapter  Google Scholar 

  19. Thomason, R.H.: Modal logic and metaphysics. In: Lambert, K. (ed.) The Logical Way of Doing Thing, pp. 119–146. D. Reidel Publishing Company, Dordrecht (1969)

    Google Scholar 

  20. Kracht, M., Kutz, O.: The semantics of modal predicate logic ii: Modal individuals revisited. In: Kahle, R. (ed.) Intensionality, pp. 60–96. Association for Symbolic Logic, San Diego (2005)

    Google Scholar 

  21. Aloni, M.: Individual concepts in modal predicate logic. Journal of Philosophical Logic 34, 1–64 (2005)

    Article  MathSciNet  Google Scholar 

  22. Fitting, M., Mendelsohn, R.L.: First-Order Modal Logic. Kluwer Academic Publishers, Dordrecht (1999)

    MATH  Google Scholar 

  23. Kracht, M., Kutz, O.: Logically possible worlds and counterpart semantics of modal logic. In: Jacquette, D., et al. (eds.) Philosophy of Logic, pp. 943–996. North Holland, Amsterdam (2006)

    Google Scholar 

  24. Garson, J.W.: Modal Logic for Philosophers. Cambridge University Press, Cambridge (2006)

    Book  Google Scholar 

  25. Braüner, T., Ghilardi, S.: First-order modal logic. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, pp. 549–620. Elsevier, Amsterdam (2007)

    Chapter  Google Scholar 

  26. Hughes, G.E., Cresswell, M.J.: An Introduction to Modal Logic. Methuen, London (1968)

    MATH  Google Scholar 

  27. Hughes, G.E., Cresswell, M.J.: A New Introduction to Modal Logic. Routledge, London (1996)

    Book  Google Scholar 

  28. Ghilardi, S.: Presheaf semantics and independence results for some non-classical first-order logics. Archive for Mathematical Logic 29, 125–136 (1989)

    Article  MathSciNet  Google Scholar 

  29. Cresswell, M.J.: Incompleteness and the Barcan formula. Journal of Philosophical Logic 24, 379–403 (1995)

    Article  MathSciNet  Google Scholar 

  30. Goldblatt, R., Mares, E.D.: A general semantics for quantified modal logic. In: Governatori, G., Hodkinson, I., Venema, Y. (eds.) Advances in Modal Logics, vol. 6, pp. 227–246. Colledge Publications, London (2006)

    MATH  Google Scholar 

  31. Mac Lane, S.: Categories for the Working Mathematician. Springer, Berlin (1998)

    MATH  Google Scholar 

  32. Lewis, D.: Counterpart theory and quantified modal logic. Journal of Philosophy 65, 113–126 (1968) (counterpart)

    Article  Google Scholar 

  33. Sørensen, M.H., Urzyczyn, P.: Lectures on the Curry-Howard Isomorphism. Springer, Berlin (2006)

    MATH  Google Scholar 

  34. Moggi, E.: Notions of computation and monads. Information and Computation 93, 55–92 (1991)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Language and Information, Osaka University, 1-8 Machikaneyama, Toyonaka, Osaka, Japan

    Norihiro Ogata

Authors
  1. Norihiro Ogata
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ken Satoh Akihiro Inokuchi Katashi Nagao Takahiro Kawamura

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ogata, N. (2008). Dynamic Semantics of Quantified Modal Mu-Calculi and Its Applications to Modelling Public Referents, Speaker’s Referents, and Semantic Referents. In: Satoh, K., Inokuchi, A., Nagao, K., Kawamura, T. (eds) New Frontiers in Artificial Intelligence. JSAI 2007. Lecture Notes in Computer Science(), vol 4914. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78197-4_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-78197-4_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-78196-7

  • Online ISBN: 978-3-540-78197-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation