Derivation rules as anti-axioms in modal logic

Journal of Symbolic Logic 58 (3):1003-1034 (1993)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 76,297

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
What is the axiomatic method?Jaakko Hintikka - 2011 - Synthese 183 (1):69-85.


Added to PP

72 (#169,230)

6 months
1 (#450,425)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Yde Venema
University of Amsterdam

Citations of this work

Multi-Dimensional Modal Logic.Maarten Marx - 1996 - Dordrecht, Netherland: Kluwer Academic Publishers.
Hierarchies of modal and temporal logics with reference pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.

View all 28 citations / Add more citations

References found in this work

Language in action.Johan Van Benthem - 1991 - Journal of Philosophical Logic 20 (3):225-263.
Varieties of complex algebras.Robert Goldblatt - 1989 - Annals of Pure and Applied Logic 44 (3):173-242.
Modal Logic and Classical Logic.R. A. Bull - 1987 - Journal of Symbolic Logic 52 (2):557-558.
Decidability for branching time.John P. Burgess - 1980 - Studia Logica 39 (2-3):203-218.

View all 12 references / Add more references