Journal of Philosophical Logic 47 (4):673-691 (2018)
| Authors |
|
| Abstract |
This paper defines a Sahlqvist fragment for relevant logic and establishes that each class of frames in the Routley-Meyer semantics which is definable by a Sahlqvist formula is also elementary, that is, it coincides with the class of structures satisfying a given first order property calculable by a Sahlqvist-van Benthem algorithm. Furthermore, we show that some classes of Routley-Meyer frames definable by a relevant formula are not elementary.
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| ISBN(s) | |
| DOI | 10.1007/s10992-017-9445-y |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 70,079
External links
- From the Publisher via CrossRef (no proxy)
- link.springer.com (no proxy)
- espace.library.uq.edu.au
(no proxy) - link.springer.com [2] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview.
View all 22 references / Add more references
Citations of this work BETA
Incompactness of the A1 Fragment of Basic Second Order Propositional Relevant Logic.Guillermo Badia - 2019 - Australasian Journal of Logic 16 (1):1-8.
Similar books and articles
Halldén Completeness for Relevant Modal Logics.Takahiro Seki - 2015 - Notre Dame Journal of Formal Logic 56 (2):333-350.
Elementary Canonical Formulae: Extending Sahlqvist’s Theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.
The Γ-Admissibility of Relevant Modal Logics II — The Method Using Metavaluations.Takahiro Seki - 2011 - Studia Logica 97 (3):351-383.
A Sahlqvist Theorem for Substructural Logic.Tomoyuki Suzuki - 2013 - Review of Symbolic Logic 6 (2):229-253.
Sahlqvist Correspondence for Modal Mu-Calculus.Johan Benthem, Nick Bezhanishvili & Ian Hodkinson - 2012 - Studia Logica 100 (1-2):31-60.
Hybrid Formulas and Elementarily Generated Modal Logics.Ian Hodkinson - 2006 - Notre Dame Journal of Formal Logic 47 (4):443-478.
Sahlqvist's Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras.Maarten De Rijke & Yde Venema - 1995 - Studia Logica 54 (1):61 - 78.
A Dichotomy for Some Elementarily Generated Modal Logics.Stanislav Kikot - 2015 - Studia Logica 103 (5):1063-1093.
The Γ-Admissibility of Relevant Modal Logics I — The Method of Normal Models.Takahiro Seki - 2011 - Studia Logica 97 (2):199-231.
Sahlqvist's Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras.Maarten de Rijke & Yde Venema - 1995 - Studia Logica 54 (1):61-78.
An Incomplete Relevant Modal Logic.Lou Goble - 2000 - Journal of Philosophical Logic 29 (1):103-119.
Hybrid Logics with Sahlqvist Axioms.Balder Cate, Maarten Marx & Petrúcio Viana - 2005 - Logic Journal of the IGPL 13 (3):293-300.
Analytics
Added to PP index
2017-08-22
Total views
13 ( #768,909 of 2,506,036 )
Recent downloads (6 months)
1 ( #416,828 of 2,506,036 )
2017-08-22
Total views
13 ( #768,909 of 2,506,036 )
Recent downloads (6 months)
1 ( #416,828 of 2,506,036 )
How can I increase my downloads?
Downloads
