Studia Logica 59 (2):149-177 (1997)
Abstract |
This papers gives a survey of recent results about simulations of one class of modal logics by another class and of the transfer of properties of modal logics under extensions of the underlying modal language. We discuss: the transfer from normal polymodal logics to their fusions, the transfer from normal modal logics to their extensions by adding the universal modality, and the transfer from normal monomodal logics to minimal tense extensions. Likewise, we discuss simulations of normal polymodal logics by normal monomodal logics, of nominals and the difference operator by normal operators, of monotonic monomodal logics by normal bimodal logics, of polyadic normal modal logics by polymodal normal modal logics, and of intuitionistic modal logics by normal bimodal logics.
|
Keywords | modal logic transfer interpretation tense logic intuitionistic logic |
Categories | (categorize this paper) |
DOI | 10.1023/A:1004900300438 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Advice on Modal Logic.D. Scott - 1970 - In K. Lambert (ed.), Philosophical Problems in Logic: Some Recent Developments. D. Reidel. pp. 143--173.
Modal Logic with Names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
Canonical Formulas for K4. Part I: Basic Results.Michael Zakharyaschev - 1992 - Journal of Symbolic Logic 57 (4):1377-1402.
View all 26 references / Add more references
Citations of this work BETA
Elementary Canonical Formulae: Extending Sahlqvist’s Theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.
Complete Additivity and Modal Incompleteness.Wesley H. Holliday & Tadeusz Litak - 2019 - Review of Symbolic Logic 12 (3):487-535.
Simulating Polyadic Modal Logics by Monadic Ones.George Goguadze, Carla Piazza & Yde Venema - 2003 - Journal of Symbolic Logic 68 (2):419-462.
On Combinations of Propositional Dynamic Logic and Doxastic Modal Logics.Renate A. Schmidt & Dmitry Tishkovsky - 2008 - Journal of Logic, Language and Information 17 (1):109-129.
View all 12 citations / Add more citations
Similar books and articles
Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
On Regular Modal Logics with Axiom □ ⊤ → □□ ⊤.Kazimierz Świrydowicz - 1990 - Studia Logica 49 (2):171 - 174.
Amalgamation and Interpolation in Normal Modal Logics.Larisa Maksimova - 1991 - Studia Logica 50 (3-4):457 - 471.
Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics.D. M. Gabbay - 1996 - Journal of Symbolic Logic 61 (4):1057-1120.
Models for Stronger Normal Intuitionistic Modal Logics.Kosta Došen - 1985 - Studia Logica 44 (1):39 - 70.
How to Avoid Deviance (in Logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Normal Monomodal Logics Can Simulate All Others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
Analytics
Added to PP index
2009-01-28
Total views
129 ( #89,362 of 2,498,848 )
Recent downloads (6 months)
1 ( #421,180 of 2,498,848 )
2009-01-28
Total views
129 ( #89,362 of 2,498,848 )
Recent downloads (6 months)
1 ( #421,180 of 2,498,848 )
How can I increase my downloads?
Downloads