On regular modal logics with axiom □ ⊤ → □□ ⊤
Studia Logica 49 (2):171 - 174 (1990)
Abstract
This 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. [66]). 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.DOI
10.1007/bf00935596
My notes
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.
Analytics
Added to PP
2009-01-28
Downloads
44 (#267,375)
6 months
1 (#448,551)
2009-01-28
Downloads
44 (#267,375)
6 months
1 (#448,551)
Historical graph of downloads
References found in this work
Algebraic semantics for modal logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.
Algebraic semantics for modal logics II.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (2):191-218.
