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. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesKosta Došen (1985). Models for Stronger Normal Intuitionistic Modal Logics. Studia Logica 44 (1):39 - 70.
Roy A. Benton (2002). A Simple Incomplete Extension of T Which is the Union of Two Complete Modal Logics with F.M.P. Journal of Philosophical Logic 31 (6):527-541.
Stéphane Demri & Hans De Nivelle (2005). Deciding Regular Grammar Logics with Converse Through First-Order Logic. Journal of Logic, Language and Information 14 (3).
Marcus Kracht & Frank Wolter (1999). Normal Monomodal Logics Can Simulate All Others. Journal of Symbolic Logic 64 (1):99-138.
W. J. Blok (1980). The Lattice of Modal Logics: An Algebraic Investigation. Journal of Symbolic Logic 45 (2):221-236.
S. K. Thomason (1980). Independent Propositional Modal Logics. Studia Logica 39 (2-3):143 - 144.
Marcus Kracht & Frank Wolter (1997). Simulation and Transfer Results in Modal Logic – a Survey. Studia Logica 59 (2):149-177.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,800 of 549,196 )Recent downloads (6 months)1 ( #63,397 of 549,196 )How can I increase my downloads? |
My notes
Discussion
