A Sahlqvist theorem for relevant modal logics

Studia Logica 73 (3):383-411 (2003)
  Copy   BIBTEX

Abstract

Kripke-completeness of every classical modal logic with Sahlqvist formulas is one of the basic general results on completeness of classical modal logics. This paper shows a Sahlqvist theorem for modal logic over the relevant logic Bin terms of Routley- Meyer semantics. It is shown that usual Sahlqvist theorem for classical modal logics can be obtained as a special case of our theorem

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1023335229747

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,894

External links

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

Through your library

My notes

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 distributive modal logic.Mai Gehrke, Hideo Nagahashi & Yde Venema - 2004 - Annals of Pure and Applied Logic 131 (1-3):65-102.
An extension of Kracht's theorem to generalized Sahlqvist formulas.Stanislav Kikot - 2009 - Journal of Applied Non-Classical Logics 19 (2):227-251.
Sahlqvist Correspondence for Modal mu-calculus.Johan van Benthem, Nick Bezhanishvili & Ian Hodkinson - 2012 - Studia Logica 100 (1-2):31-60.
The γ-admissibility of Relevant Modal Logics I — The Method of Normal Models.Takahiro Seki - 2011 - Studia Logica 97 (2):199-231.
Sahlqvist Correspondence for Modal mu-calculus.Johan Benthem, Nick Bezhanishvili & Ian Hodkinson - 2012 - Studia Logica 100 (1-2):31-60.
The γ-admissibility of Relevant Modal Logics II — The Method using Metavaluations.Takahiro Seki - 2011 - Studia Logica 97 (3):351-383.
A Dichotomy for Some Elementarily Generated Modal Logics.Stanislav Kikot - 2015 - Studia Logica 103 (5):1063-1093.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
General Frames for Relevant Modal Logics.Takahiro Seki - 2003 - Notre Dame Journal of Formal Logic 44 (2):93-109.

Analytics

Added to PP
2009-01-28

Downloads
85 (#266,947)

6 months
3 (#1,188,611)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Varieties of Relevant S5.Shawn Standefer - 2023 - Logic and Logical Philosophy 32 (1):53–80.
A Relevant Framework for Barriers to Entailment.Yale Weiss - forthcoming - IfCoLog Journal of Logics and Their Applications.
Quantified Modal Relevant Logics.Nicholas Ferenz - 2023 - Review of Symbolic Logic 16 (1):210-240.
Tracking reasons with extensions of relevant logics.Shawn Standefer - 2019 - Logic Journal of the IGPL 27 (4):543-569.
Neighbourhood Semantics for Modal Relevant Logics.Nicholas Ferenz & Andrew Tedder - 2023 - Journal of Philosophical Logic 52 (1):145-181.

View all 19 citations / Add more citations

References found in this work

Algebraic analysis of entailment I.Robert K. Meyer & Richard Routley - 1972 - Logique Et Analyse 15 (59/60):407-428.
Models for relevant modal logics.André Fuhrmann - 1990 - Studia Logica 49 (4):501 - 514.
General Frames for Relevant Modal Logics.Takahiro Seki - 2003 - Notre Dame Journal of Formal Logic 44 (2):93-109.
The semantics ofr.Edwin D. Mares & Robert K. Meyer - 1993 - Journal of Philosophical Logic 22 (1):95 - 110.
The Semantic Completeness Of Rk.Edwin Mares - 1992 - Reports on Mathematical Logic:3-10.

View all 6 references / Add more references