Skip to main content
SpringerLink
Log in

Completeness by Modal Definitions

  • Conference paper
  • First Online:
Advances in Artificial Intelligence - IBERAMIA 2018 (IBERAMIA 2018)

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

Included in the following conference series:

  • 1248 Accesses

Abstract

In this paper, we develop a framework for obtaining completeness results for extensions of modal logics. A modal language is extended by fresh modalities, which are then specified using definitions formulated in the original logic. When adding the modal definitions to the axiom system, completeness of the extended logic is guaranteed by the main result of the paper. We demonstrate the technique by applying it to extensions of the modal logic S5.

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 EPUB and 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

References

  1. Baltag, A., Smets, S.: Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. In: Proceedings of TARK 2009, pp. 41–50. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (2009)

    Google Scholar 

  2. Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Proceedings of TARK 1998: the 7th Conference on Theoretical Aspects of Rationality and Knowledge, pp. 43–56. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (1998)

    Google Scholar 

  3. Barwise, J.: Three views of common knowledge. In: Yardi, M.Y. (ed.), Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, pp. 365–379. Morgan Kaufman, San Francisco (1988)

    Google Scholar 

  4. van Benthem, J., Liu, F.: Dynamic logic of preference upgrade. J. Appl. Non-Class. Log. 17(2), 157–182 (2007)

    Article  MathSciNet  Google Scholar 

  5. van Benthem, J.: Modal frame classes revisited. Fundam. Inform. 18, 307–317 (1993)

    MathSciNet  MATH  Google Scholar 

  6. van Benthem, J.: Rational dynamics and epistemic logic in games. In: International Game Theory Review, vol. 9, pp. 13–45 (2007). Erratum reprint, vol. 9, no. 2, pp. 377–409

    Google Scholar 

  7. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)

    Book  Google Scholar 

  8. Chagrova, L.A.: An undecidable problem in correspondence theory. J. Symb. Log. 56, 1261–1272 (1991)

    Article  MathSciNet  Google Scholar 

  9. Conradie W., Palmigiano A., Sourabh S., Zhao Z.: Canonicity and relativized canonicity via pseudo-correspondence: an application of ALBA. In: Working paper, Delft University of Technology (2015)

    Google Scholar 

  10. van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic Synthese Library: Studies in Epistemology, Logic, Methodology, and Philosophy of Science, vol. 337. Springer, Dordrecht (2007). https://doi.org/10.1007/978-1-4020-5839-4

    Book  Google Scholar 

  11. Esakia, L.: Weak transitivity - a restitution. In: Logical Investigations, vol. 8, pp. 244–255 (2001). in Russian

    Google Scholar 

  12. Esakia, L.: Around provability logic. Ann. Pure Appl. Log. 161(2), 174–184 (2009). Festschrift on the occasion of Franco Montagna’s 60th birthday

    Article  MathSciNet  Google Scholar 

  13. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. The MIT Press, Cambridge (1995)

    MATH  Google Scholar 

  14. Goldblatt, R.I., Thomason, S.K.: Axiomatic classes in propositional modal logic. In: Crossley, J.N. (ed.) Algebra and Logic. LNM, vol. 450, pp. 163–173. Springer, Heidelberg (1975). https://doi.org/10.1007/BFb0062855

    Chapter  Google Scholar 

  15. Lewis, D.: Convention: A Philosophical Study. Harvard University Press, Cambridge (1969)

    Google Scholar 

  16. Meyer, J.-J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science, Cambridge Tracts in Theoretical Computer Science, vol. 41. Cambridge University Press, Cambridge (1995)

    MATH  Google Scholar 

  17. Plaza, J.A.: Logics of public communications. In: Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201–216. Oak Ridge National Laboratory, ORNL/DSRD-24 (1989)

    Google Scholar 

  18. Sahlqvist, H.: Completeness and correspondence in the first and second order semantics for modal logics. In: Proceedings of the 3rd Scandinavian Logic Symposium, pp. 110–143. North-Holland Publishing Company (1975)

    Google Scholar 

  19. Uridia, L., Walther, D.: An epistemic logic with hypotheses. In: van Ditmarsch, H., Lang, J., Ju, S. (eds.) LORI 2011. LNCS (LNAI), vol. 6953, pp. 286–299. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-24130-7_21

    Chapter  MATH  Google Scholar 

  20. Venema, Y.: Canonical pseudo-correspondence. In: Zakharyaschev, M., Segerberg, K., de Rijke, M., Wansing, H. (eds.), Advances in Modal Logic, vol. 2, pp. 421–430. CSLI Publications (1998)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Razmadze Institute of Mathematics, Tbilisi, Georgia

    Levan Uridia

  2. Fraunhofer IVI, Dresden, Germany

    Dirk Walther

Authors
  1. Levan Uridia
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dirk Walther
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Levan Uridia .

Editor information

Editors and Affiliations

  1. Universidad Nacional del Sur, Bahía Blanca, Buenos Aires, Argentina

    Guillermo R. Simari

  2. University of Madeira, Funchal, Portugal

    Eduardo Fermé

  3. Universidad Nacional de Piura, Castilla-Piura, Peru

    Flabio Gutiérrez Segura

  4. Universidad Nacional de Trujillo, Trujillo, Peru

    José Antonio Rodríguez Melquiades

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Uridia, L., Walther, D. (2018). Completeness by Modal Definitions. In: Simari, G., Fermé, E., Gutiérrez Segura, F., Rodríguez Melquiades, J. (eds) Advances in Artificial Intelligence - IBERAMIA 2018. IBERAMIA 2018. Lecture Notes in Computer Science(), vol 11238. Springer, Cham. https://doi.org/10.1007/978-3-030-03928-8_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-03928-8_6

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-03927-1

  • Online ISBN: 978-3-030-03928-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation