Skip to main content
SpringerLink
Log in

Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We define the concepts of minimal p-morphic image and basic p-morphism for transitive Kripke frames. These concepts are used to determine effectively the least number of variables necessary to axiomatize a tabular extension of K4, and to describe the covers and co-covers of such a logic in the lattice of the extensions of K4.

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. Bellissima, F., ‘Atoms in modal algebras’,Zeitschr. f. math. Logik und Grundlagen d. Math. 30 (1984): 303–312.

    Google Scholar 

  2. Bellissima, F., ‘Post complete and 0-axiomatizable model logics’,Annals of Pure and Applied Logic 47 (1990): 121–144.

    Google Scholar 

  3. Bellissima, F., andS. Cittadini, ‘Minimal axiomatization in modal logic’,Mathematical Logic Quarterly 43 (1997), 1: 92–102.

    Google Scholar 

  4. Blok, W. J.,Varieties of interior algebras, PhD thesis, University of Amsterdam, 1976.

  5. Blok, W. J., ‘The lattice of modal logics: an algebraic investigation’,The Journal of Symbolic Logic 45 (1980): 221–236.

    Google Scholar 

  6. Blok, W. J., ‘Pretabular varieties of modal algebras’,Studia Logica 39 (1980), 2/3: 101–124.

    Google Scholar 

  7. Bull, R. A., andK. Segerberg, ‘Basic modal logic’, in D. Gabbay and F. Guenthner (eds.),Handbook of Philosophical Logic, vol. II, p. 1–88, D. Reidel Publishing Company, Dordrecht, 1985.

    Google Scholar 

  8. Cittadini, S.,Minime assiomatizzazioni in logica modale e temporale. PhD thesis, University of Siena, 1995.

  9. Fine, K., ‘An ascending chain of S4 logics’,Theoria 40 (1974): 110–116.

    Google Scholar 

  10. Fine, K., ‘Logics containing K4. Part II’,The Journal of Symbolic Logic 50 (1985), 3: 619–651.

    Google Scholar 

  11. Kracht, M., ‘An almost general splitting theorem for modal logic’,Studia Logica 49 (1990): 455–470.

    Google Scholar 

  12. Kracht, M., ‘Splittings and the finite model property’,The Journal of Symbolic Logic 58 (1993), 1: 139–157.

    Google Scholar 

  13. Rautenberg, W., ‘Splitting lattices of logics’,Archive for Mathematical Logic 20 (1980): 155–159.

    Google Scholar 

  14. Segerberg, K.,An Essay in Classical Modal Logic, Filosofiska Studier, Uppsala, 1971.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Siena, Via del Capitano 15, I-53100, Siena, Italy

    Fabio Bellissima & Saverio Cittadini

Authors
  1. Fabio Bellissima
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Saverio Cittadini
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bellissima, F., Cittadini, S. Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4. Studia Logica 62, 371–398 (1999). https://doi.org/10.1023/A:1005100510979

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005100510979

Search

Navigation