Skip to main content
SpringerLink
Log in

Der Verband der normalen verzweigten Modallogiken

  • Published:
Mathematische Zeitschrift Aims and scope Submit manuscript

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

Literatur

  • Blok, W.: Varieties of Interior Algebras. Diss. Univ. Amsterdam 1976

  • Blok, W., Dwinger, P.: Equational classes of Closure Algebras. Indagationes math.37, 189–198 (1965)

    Google Scholar 

  • Fine, K.: An incomplete logic containing S4. Theoria40, 23–29 (1974)

    Google Scholar 

  • Gabbay, D.: Modal and tense logic. Dordrecht-Boston: Reidel 1976

    Google Scholar 

  • Goldblatt, R. I.: Metamathematics of modal logic. Rep. math. Logic6, 41–78 (1976)

    Google Scholar 

  • Goldblatt, R., Thomason, S. K.: Axiomatic classes in propositional modal logic. In: Algebra and Logic (Clayton 1974), pp. 163–173. Lecture Notes in Mathematics 450. Berlin-Heidelberg-New York: Springer 1975

    Google Scholar 

  • Jankov, V.: The construction of a sequence of strongly independent superintuitionistic propositional calculi, Doklady Akad. Nauk SSSR9, 1203–1204 (1968)

    Google Scholar 

  • Jónsson, B.: Algebras whose congruence lattice are distributive. Math. Scandinav.21, 110–121 (1967)

    Google Scholar 

  • Jónsson, B., Tarski, A.: Boolean algebras with operators I. Amer. J. Math.73, 891–939 (1951)

    Google Scholar 

  • Kripke, S.: Semantical analysis of modal logic I. Z. math. Logik Grundl. Math.9, 67–96 (1963)

    Google Scholar 

  • Kripke, S.: Semantical analysis of modal Logic II. Non-normal modal propositional calculi. In: The Theory of Models (Berkeley 1963) pp. 206–220. Amsterdam: North-Holland 1965

    Google Scholar 

  • Kuznetsov, A. V.: On superintuitionistic logics. In: Proceedings of the International Conference of Mathematicians. Vol. 1. (Vancouver 1974) pp. 243–249. Montréal: Canadian Mathematical Congress 1975

    Google Scholar 

  • Makinson, D.: Some embedding theorems for modal logic. Notre Dame J. formal Logic12, 252–254 (1971)

    Google Scholar 

  • Makkai, M.: A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties. Algebra universalis3, 174–181 (1973)

    Google Scholar 

  • Maximowa, L.: Pretabular extensions of Lewis'S4. Algebra i Logika14/1, 28–55 (1975)

    Google Scholar 

  • McKenzie, R.: Equational bases and non modular lattices varieties. Trans. Amer. math. Soc.174, 1–43 (1972)

    Google Scholar 

  • Rautenberg, W.: Graphen und endliche Systeme modaler Logik,FPS Modelltheorie. Freie Universität Berlin 1976

  • Rautenberg, W. (Prelim. Report): Some properties of the hierarchy of modal logics, bull. Sec. Logic5, 103–105 (1976)

    Google Scholar 

  • Segerberg, K.: An essay on classical modal logic. Uppsala Universitet 1971

  • Scroggs, S.: Extensions of the Lewis-systemS5. J. symbolic Logic16, 112–120 (1951)

    Google Scholar 

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

    Google Scholar 

  • Thomason, S. K.: An incompleteness theorem in modal logic. Theoria40, 30–34 (1974)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Mathematik, Freie Universität Berlin, Königin-Luise-Straße 24/26, D-1000, Berlin 33, Deutschland

    Wolfgang Rautenberg

Authors
  1. Wolfgang Rautenberg
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Herrn Günter Pickert zum 60. Geburtstag gewidmet

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rautenberg, W. Der Verband der normalen verzweigten Modallogiken. Math Z 156, 123–140 (1977). https://doi.org/10.1007/BF01178758

Download citation

  • Received:

  • Revised:

  • Issue Date:

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

Search

Navigation