Derivation rules as anti-axioms in modal logic
Journal of Symbolic Logic 58 (3):1003-1034 (1993)
| Abstract | We discuss a `negative' way of defining frame classes in (multi)modal logic, and address the question of whether these classes can be axiomatized by derivation rules, the `non-ξ rules', styled after Gabbay's Irreflexivity Rule. The main result of this paper is a metatheorem on completeness, of the following kind: If Λ is a derivation system having a set of axioms that are special Sahlqvist formulas and Λ+ is the extension of Λ with a set of non-ξ rules, then Λ+ is strongly sound and complete with respect to the class of frames determined by the axioms and the rules | |||||||||
| 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 articlesJaakko Hintikka (2011). What is the Axiomatic Method? Synthese 183 (1):69-85.
Alex Citkin (2010). Metalogic of Intuitionistic Propositional Calculus. Notre Dame Journal of Formal Logic 51 (4):485-502.
David Isles (1994). A Finite Analog to the Löwenheim-Skolem Theorem. Studia Logica 53 (4):503 - 532.
Xavier Caicedo (2004). Implicit Connectives of Algebraizable Logics. Studia Logica 78 (1-2):155 - 170.
Herman Dishkant (1978). An Extension of the Łukasiewicz Logic to the Modal Logic of Quantum Mechanics. Studia Logica 37 (2):149 - 155.
Sara Negri & Jan Von Plato (1998). Cut Elimination in the Presence of Axioms. Bulletin of Symbolic Logic 4 (4):418-435.
Phiniki Stouppa (2007). A Deep Inference System for the Modal Logic S. Studia Logica 85 (2):199 - 214.
Simone Martini & Andrea Masini (1994). A Modal View of Linear Logic. Journal of Symbolic Logic 59 (3):888-899.
Valentin Goranko (1998). Axiomatizations with Context Rules of Inference in Modal Logic. Studia Logica 61 (2):179-197.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #275,053 of 550,840 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
