A Sahlqvist theorem for relevant modal logics
Studia Logica 73 (3):383 - 411 (2003)
| Abstract | Kripke-completeness of every classical modal logic with Sahlqvist formulas is one of the basic general results on completeness of classical modal logics. This paper shows a Sahlqvist theorem for modal logic over the relevant logic Bin terms of Routley-Meyer semantics. It is shown that usual Sahlqvist theorem for classical modal logics can be obtained as a special case of our theorem. | |||||||||
| 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,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesFrancis J. Pelletier (1993). Identity in Modal Logic Theorem Proving. Studia Logica 52 (2):291 - 308.
Ernst Zimmermann (2003). Elementary Definability and Completeness in General and Positive Modal Logic. Journal of Logic, Language and Information 12 (1):99-117.
Frank Wolter (1998). On Logics with Coimplication. Journal of Philosophical Logic 27 (4):353-387.
Kazimierz Świrydowicz (1990). On Regular Modal Logics with Axiom □ ⊤ → □□ ⊤. Studia Logica 49 (2):171 - 174.
Giovanna Corsi (2002). A Unified Completeness Theorem for Quantified Modal Logics. Journal of Symbolic Logic 67 (4):1483-1510.
Patrick Blackburn & Maarten Marx (2002). Remarks on Gregory's “Actually” Operator. Journal of Philosophical Logic 31 (3):281-288.
Norihiro Kamide (2002). Kripke Semantics for Modal Substructural Logics. Journal of Logic, Language and Information 11 (4):453-470.
G. Sambin & V. Vaccaro (1989). A New Proof of Sahlqvist's Theorem on Modal Definability and Completeness. Journal of Symbolic Logic 54 (3):992-999.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads7 ( #133,421 of 549,065 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
