Skip to main content
SpringerLink
Log in

Even more about the lattice of tense logics

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract

The present paper is based on [11], where a number of conjectures are made concerning the structure of the lattice

of normal extensions of the tense logicKt. That paper was mainly dealing with splittings of

and some sublattices, and this is what I will concentrate on here as well. The main tool in analysing the splittings of

will be the splitting theorem of [8]. In [11] it was conjectured that each finite subdirectly irreducible algebra splits the lattice of normal extensions ofK4t andS4t. We will show that this is not the case and that on the contrary only very few and trivial splittings of the mentioned lattices exist.

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.: On the lattice of extensions of the modal logicsK.Alt n . Arch. Math. Logic27, 107–114 (1988)

    Google Scholar 

  2. Burgess, J.P.: Basic tense logic. In: Gabbay, D.M., Guenther, F. (eds.) Handbook of philosophical logic, vol. 2, pp. 89–133. Reidel: Dordrecht 1984

    Google Scholar 

  3. Blok, W.J.: On the degree of incompleteness of modal logics. Bull. Sect. Logic Pol. Acad. Sci.7, 167–175 (1978)

    Google Scholar 

  4. Blok, W.J.: On the degree of incompleteness in modal logic and the covering relation in the lattice of modal logics. Report 78-07. Dep. Math. Amsterdam University 1978

  5. Blok, W.J., Pigozzi, D.: Varieties with equationally definable principal congruences. Algebra Univers.15, 195–227 (1982)

    Google Scholar 

  6. Goldblatt, R.I.: Varieties of complex algebras. Ann. Pure Appl. Logic.44, 173–241 (1989)

    Google Scholar 

  7. Kalmbach, G.: Orthomodular lattices. London: Academic Press 1983

    Google Scholar 

  8. Kracht, M.: An almost general splitting theorem for modal logic. Stud. Logica49, 455–470 (1990)

    Google Scholar 

  9. McKenzie, R.: Equational bases and nonmodular lattice varieties. Trans. Am. Math. Soc.174, 1–43 (1972)

    Google Scholar 

  10. Rautenberg, W.: Der Verband der normalen verzweigten Modallogiken. Math. Z.156, 123–140 (1977)

    Google Scholar 

  11. Rautenberg, W.: More about the lattice of tense logics. Bull. Sect. Logic Pol. Academy of Sciences8, 21–29 (1979)

    Google Scholar 

  12. Rautenberg, W.: Klassische und nichtklassische Aussagenlogik. Wiesbaden: Vieweg Verlag 1979

    Google Scholar 

  13. Rautenberg, W.: Splitting lattices of logics. Archiv Math. Logic20, 155–159 (1980)

    Google Scholar 

  14. Thomason, S.K.: Semantic analysis of tense logics. J. Symb. Logic37, 150–158 (1972)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. II. Department of Mathematics, Arnimallee 3, W-1000, Berlin 33, Federal Republic of Germany

    Marcus Kracht

Authors
  1. Marcus Kracht
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

I wish to thank Prof. Rautenberg for suggesting this work to me and for waiting patiently for two years until I started it. Thanks also to two anonymous referees and Frank Wolter for helpful discussion of this paper. One of the referees deserves special mentioning for his precise and detailed criticism

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kracht, M. Even more about the lattice of tense logics. Arch Math Logic 31, 243–257 (1992). https://doi.org/10.1007/BF01794981

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01794981

Keywords

Search

Navigation