Journal of Philosophical Logic 47 (4):673-691 (2018)

Authors
Guillermo Badia
University of Queensland
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,079
External links

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

References found in this work BETA

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Model Theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.

View all 22 references / Add more references

Citations of this work BETA

The Philosophy of Logical Practice.Ben Martin - 2022 - Metaphilosophy 53 (2-3):267-283.

Add more citations

Similar books and articles

Halldén Completeness for Relevant Modal Logics.Takahiro Seki - 2015 - Notre Dame Journal of Formal Logic 56 (2):333-350.
A Sahlqvist Theorem for Substructural Logic.Tomoyuki Suzuki - 2013 - Review of Symbolic Logic 6 (2):229-253.
Hybrid Formulas and Elementarily Generated Modal Logics.Ian Hodkinson - 2006 - Notre Dame Journal of Formal Logic 47 (4):443-478.
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 )

How can I increase my downloads?

Downloads

My notes