Graduate studies at Western
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||(multi)modal logic completeness derivation rules modal definability|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Jaakko 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.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #292,878 of 740,795 )
Recent downloads (6 months)0
How can I increase my downloads?