Skip to main content
SpringerLink
Log in

Some Normal Extensions of K4.3

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

This paper proves the finite model property and the finite axiomatizability of a class of normal modal logics extending K4.3. The frames for these logics are those for K4.3, in each of which every point has a bounded number of irreflexive successors if it is after an infinite ascending chain of (not necessarily distinct) points.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, vol. 53 of Cambridge Tracts in Theoretical Computer Science, Cambridge Univerity Press, Cambridge, 2001.

  2. Bull R.A.: That all normal extensions of S4.3 have the finite model property. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 12, 341–344 (1966)

    Article  Google Scholar 

  3. Bull, R. A., and K. Segerberg, Basic modal logic, in D. Gabbay, and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. 2, D. Reidel Publishing Company, Dordrecht, 1984, pp. 1–88.

  4. Chagrov, A., and M. Zakharyaschev, Modal Logic, vol. 35 of Oxford Logic Guides, Oxford University Press, Oxford, 1997.

  5. Fine K.: The logics containing S4.3. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 17, 371–376 (1971)

    Article  Google Scholar 

  6. Fine K.: Logics containing K4, Part I. The Journal of Symbolic Logic 39, 31–42 (1974)

    Article  Google Scholar 

  7. Goldblatt, R., Logics of Time and Computation, vol. 7 of CSLI Lecture Notes, Center for the Study of Language and Information, Stanford University, 1987.

  8. Kracht, M., Tools and techniques in modal logic, vol. 142 of Studies in Logic and the Foundations of Mathematics, Elsevier Science B. V., Amsterdam, Lausanne, New York, Oxford, Shannon, Singapore and Tokyo, 1999.

  9. Li, K., Normal extensions of K4.3Z, Manuscript, August 2011, Department of Philosophy, Wuhan University 2011.

  10. Scroggs S.J.: Extensions of the Lewis system S5. The Journal of Symbolic Logic 16, 112–120 (1951)

    Article  Google Scholar 

  11. Segerberg, K., An essay in classical modal logic, Philosophical Studies published by the Philosophical Society and the Department of Philosophy, University of Uppsala, Uppsala, 1971.

  12. Xu M.: Normal extensions of G.3. Theoria 68(2), 170–176 (2002)

    Article  Google Scholar 

  13. Xu, M., A note on the finite axiomatizability of transitive logics of finite depth and finite width, (2011). Manuscript, May 2011, Department of Philosophy, Wuhan University.

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, Wuhan University, Wuhan, 430072, Hubei, People’s Republic of China

    Ming Xu

Authors
  1. Ming Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ming Xu.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Xu, M. Some Normal Extensions of K4.3 . Stud Logica 101, 583–599 (2013). https://doi.org/10.1007/s11225-012-9398-7

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-012-9398-7

Keywords

Search

Navigation