Normal monomodal logics can simulate all others
Journal of Symbolic Logic 64 (1):99-138 (1999)
| Abstract | This paper shows that non-normal modal logics can be simulated by certain polymodal normal logics and that polymodal normal logics can be simulated by monomodal (normal) logics. Many properties of logics are shown to be reflected and preserved by such simulations. As a consequence many old and new results in modal logic can be derived in a straightforward way, sheding new light on the power of normal monomodal logic | |||||||||
| 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,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMartin Amerbauer (1996). Cut-Free Tableau Calculi for Some Propositional Normal Modal Logics. Studia Logica 57 (2-3):359 - 372.
Frank Wolter (1994). What is the Upper Part of the Lattice of Bimodal Logics? Studia Logica 53 (2):235 - 241.
Dominic Gregory (2001). Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators. Journal of Philosophical Logic 30 (1):57-78.
Walter Sinnott-Armstrong & Amit Malhotra (2002). How to Avoid Deviance (in Logic). History and Philosophy of Logic 23 (3):215--36.
Judit X. Madarász (1998). Interpolation and Amalgamation; Pushing the Limits. Part I. Studia Logica 61 (3):311-345.
Larisa Maksimova (1991). Amalgamation and Interpolation in Normal Modal Logics. Studia Logica 50 (3-4):457 - 471.
John Chidgey (1979). On the Non-Availability of Dawson-Modeling Into Certain Relevance Alethic Modal Logics. Studia Logica 38 (2):89 - 94.
Kosta Došen (1985). Models for Stronger Normal Intuitionistic Modal Logics. Studia Logica 44 (1):39 - 70.
Kazimierz Świrydowicz (1990). On Regular Modal Logics with Axiom □ ⊤ → □□ ⊤. Studia Logica 49 (2):171 - 174.
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 downloads3 ( #202,107 of 550,917 )Recent downloads (6 months)1 ( #63,425 of 550,917 )How can I increase my downloads? |
My notes
Discussion
