The semantics ofr

Journal of Philosophical Logic 22 (1):95 - 110 (1993)
Abstract
The Logic R4 is obtained by adding the axiom □(A v B) → (◇A v □B) to the modal relevant logic NR. We produce a model theory for this logic and show completeness. We also show that there is a natural embedding of a Kripke model for S4 in each R4 model structure
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01049182
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 31,786
Through your library
References found in this work BETA
The Semantics of Entailment—II.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (1):53 - 73.
Models for Entailment.Kit Fine - 1974 - Journal of Philosophical Logic 3 (4):347 - 372.
Semantics for Quantified Relevance Logic.Kit Fine - 1988 - Journal of Philosophical Logic 17 (1):27 - 59.
The Semantics of Entailment.Richard Routley & Robert K. Meyer - 1977 - Journal of Symbolic Logic 42 (2):315-316.

View all 6 references / Add more references

Citations of this work BETA
Trees for E.Shawn Standefer - forthcoming - Logic Journal of the IGPL.
Bad Worlds.Patrick Girard & Zach Weber - 2015 - Thought: A Journal of Philosophy 4 (2):93-101.
Normal Modal Substructural Logics with Strong Negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.

Add more citations

Similar books and articles
Modal Logic and Model Theory.Giangiacomo Gerla & Virginia Vaccaro - 1984 - Studia Logica 43 (3):203 - 216.
A Relevant Theory of Conditionals.Edwin D. Mares & André Fuhrmann - 1995 - Journal of Philosophical Logic 24 (6):645 - 665.
“Four-Valued” Semantics for the Relevant Logic R.Edwin D. Mares - 2004 - Journal of Philosophical Logic 33 (3):327-341.
A Star-Free Semantics for R.Edwin D. Mares - 1995 - Journal of Symbolic Logic 60 (2):579 - 590.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Interpretations of Intuitionist Logic in Non-Normal Modal Logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
Added to PP index
2009-01-28

Total downloads
13 ( #402,369 of 2,231,532 )

Recent downloads (6 months)
3 ( #190,228 of 2,231,532 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature