Studia Logica 49 (2):171 - 174 (1990)
AbstractThis paper is devoted to showing certain connections between normal modal logics and those strictly regular modal logics which have as a theorem. We extend some results of E. J. Lemmon (cf. ). In particular we prove that the lattice of the strictly regular modal logics with the axiom is isomorphic to the lattice of the normal modal logics.
Similar books and articles
Models for stronger normal intuitionistic modal logics.Kosta Došen - 1985 - Studia Logica 44 (1):39 - 70.
The lattice of modal logics: An algebraic investigation.W. J. Blok - 1980 - Journal of Symbolic Logic 45 (2):221-236.
Normal monomodal logics can simulate all others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
Deciding regular grammar logics with converse through first-order logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.
A simple incomplete extension of T which is the union of two complete modal logics with F.m.P.Roy A. Benton - 2002 - Journal of Philosophical Logic 31 (6):527-541.
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
Added to PP
Historical graph of downloads
Citations of this work
No citations found.