Studia Logica

, Volume 53, Issue 2, pp 235–241 | Cite as

What is the upper part of the lattice of bimodal logics?

  • Frank Wolter


We define an embedding from the lattice of extensions ofT into the lattice of extensions of the bimodal logic with two monomodal operators □1 and □2, whose □2-fragment isS5 and □1-fragment is the logic of a two-element chain. This embedding reflects the fmp, decidability, completenes and compactness. It follows that the lattice of extension of a bimodal logic can be rather complicated even if the monomodal fragments of the logic belong to the upper part of the lattice of monomodal logics.


Mathematical Logic Computational Linguistic Bimodal Logic Monomodal Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    F. Bellisima,On the Lattice of Extensions of the Modal Logic K. Alt n Arch. Math Logic 27 pp. 107–114, 1988.Google Scholar
  2. [2]
    W. Blok,The Lattice of Modal Logics: An algebraic Investigation Journal of Symbolic Logic 45 pp. 221–236, 1980.Google Scholar
  3. [3]
    R. Bull,That all normal extensions of S4.3have the finite model property,Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 12 pp. 341 -344, 1966.Google Scholar
  4. [4]
    K. Fine,Logics containing K4, Part I Journal of Symbolic Logic 39 pp. 229–237, 1974.Google Scholar
  5. [5]
    K. Fine,Normal Forms in Modal Logic,Notre Dame Journal of Formal Logic 16 pp. 31–36, 1975.Google Scholar
  6. [6]
    M. Kracht &F. Wolter,Properties of independently axiomatizable bimodal logics Journal of Symbolic Logic 56 pp. 469–485, 1991.Google Scholar
  7. [7]
    K. Segerberg,Modal Logics with Functional Alternative Relations Notre Dame Journal of Formal Logic 27 pp. 504–522, 1986.Google Scholar

Copyright information

© Kluwer Academic Publishers 1994

Authors and Affiliations

  • Frank Wolter
    • 1
  1. 1.II Mathematisches InstitutBerlin 33Germany

Personalised recommendations