Modal Deduction in Second-Order Logic and Set Theory: II
Studia Logica 60 (3):387 - 420 (1998)
| Abstract | In this paper, we generalize the set-theoretic translation method for polymodal logic introduced in [11] to extended modal logics. Instead of devising an ad-hoc translation for each logic, we develop a general framework within which a number of extended modal logics can be dealt with. We first extend the basic set-theoretic translation method to weak monadic second-order logic through a suitable change in the underlying set theory that connects up in interesting ways with constructibility; then, we show how to tailor such a translation to work with specific cases of extended modal logics. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJohan van Benthem, Giovanna D'Agostino, Angelo Montanari & Alberto Policriti (1998). Modal Deduction in Second-Order Logic and Set Theory - II. Studia Logica 60 (3):387-420.
Minghui Ma (2010). Toward Model-Theoretic Modal Logics. Frontiers of Philosophy in China 5 (2):294-311.
Francis J. Pelletier (1993). Identity in Modal Logic Theorem Proving. Studia Logica 52 (2):291 - 308.
Gregory Wheeler, AGM Belief Revision in Monotone Modal Logics. LPAR 2010 Short Paper Proceedings.
Frank Wolter & Michael Zakharyaschev (2001). Decidable Fragments of First-Order Modal Logics. Journal of Symbolic Logic 66 (3):1415-1438.
Frank Wolter (1997). Superintuitionistic Companions of Classical Modal Logics. Studia Logica 58 (2):229-259.
Norihiro Kamide (2002). Kripke Semantics for Modal Substructural Logics. Journal of Logic, Language and Information 11 (4):453-470.
Stéphane Demri & Dov Gabbay (2000). On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II. Studia Logica 66 (3):349-384.
Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev (2005). Undecidability of First-Order Intuitionistic and Modal Logics with Two Variables. Bulletin of Symbolic Logic 11 (3):428-438.
Sebastian Enqvist (forthcoming). A General Lindström Theorem for Some Normal Modal Logics. Logica Universalis:1-32.
Stéphane Demri & Dov Gabbay (2000). On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I. Studia Logica 65 (3):323-353.
Riccardo Rosati (1999). Reasoning About Minimal Knowledge in Nonmonotonic Modal Logics. Journal of Logic, Language and Information 8 (2):187-203.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2011-05-29Total downloads1 ( #274,556 of 548,984 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
