Simulation and transfer results in modal logic – a survey

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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,483
Through your library

References found in this work BETA

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
Modal Logic with Names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
Tools and Techniques in Modal Logic.Guram Bezhanishvili - 2001 - Bulletin of Symbolic Logic 7 (2):278-279.
Properties of Independently Axiomatizable Bimodal Logics.Marcus Kracht & Frank Wolter - 1991 - Journal of Symbolic Logic 56 (4):1469-1485.

View all 22 references / Add more references

Citations of this work BETA

Complete Additivity and Modal Incompleteness.Wesley H. Holliday & Tadeusz Litak - 2019 - Review of Symbolic Logic 12 (3):487-535.
A Logic of Goal-Directed Knowing How.Yanjing Wang - 2018 - Synthese 195 (10):4419-4439.

View all 10 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
105 ( #81,966 of 2,286,547 )

Recent downloads (6 months)
7 ( #157,750 of 2,286,547 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature