Journal of Symbolic Logic 58 (3):1003-1034 (1993)
AbstractWe 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
Similar books and articles
A modal view of linear logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.
Implicit connectives of algebraizable logics.Xavier Caicedo - 2004 - Studia Logica 78 (1-2):155 - 170.
A finite analog to the löwenheim-Skolem theorem.David Isles - 1994 - Studia Logica 53 (4):503 - 532.
Metalogic of Intuitionistic Propositional Calculus.Alex Citkin - 2010 - Notre Dame Journal of Formal Logic 51 (4):485-502.
Axiomatizations with context rules of inference in modal logic.Valentin Goranko - 1998 - Studia Logica 61 (2):179-197.
Added to PP
Historical graph of downloads
Citations of this work
Multi-Dimensional Modal Logic.Maarten Marx - 1996 - Dordrecht, Netherland: Kluwer Academic Publishers.
Elementary canonical formulae: extending Sahlqvist’s theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.
Hierarchies of modal and temporal logics with reference pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.
Pure extensions, proof rules, and hybrid axiomatics.Patrick Blackburn & Balder Ten Cate - 2006 - Studia Logica 84 (2):277-322.
A strict implication calculus for compact Hausdorff spaces.G. Bezhanishvili, N. Bezhanishvili, T. Santoli & Y. Venema - 2019 - Annals of Pure and Applied Logic 170 (11):102714.
References found in this work
Varieties of complex algebras.Robert Goldblatt - 1989 - Annals of Pure and Applied Logic 44 (3):173-242.
Algebraization of quantifier logics, an introductory overview.István Németi - 1991 - Studia Logica 50 (3-4):485 - 569.