The Semantics of R4

&
Journal of Philosophical Logic 22 (1):95-110 (1993)
  Copy   BIBTEX

Abstract

The Logic R4 is obtained by adding the axiom □ → 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.

Categories

Keywords

Reprint years

DOI

10.1007/bf01049182

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,682

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

The semantics ofr.Edwin D. Mares & Robert K. Meyer - 1993 - Journal of Philosophical Logic 22 (1):95 - 110.
An alternative semantics for quantified relevant logic.Edwin D. Mares & Robert Goldblatt - 2006 - Journal of Symbolic Logic 71 (1):163-187.
Interpretations of intuitionist logic in non-normal modal logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
A spatial modal logic with a location interpretation.Norihiro Kamide - 2005 - Mathematical Logic Quarterly 51 (4):331.
Incompleteness Results in Kripke Bundle Semantics.Kazuaki Nagaoka & Eiko Isoda - 1997 - Mathematical Logic Quarterly 43 (4):485-498.
Infinitary S5‐Epistemic Logic.Aviad Heifetz - 1997 - Mathematical Logic Quarterly 43 (3):333-342.
Kripke bundle semantics and c-set semantics.Eiko Isoda - 1997 - Studia Logica 58 (3):395-401.
The Semantic Completeness Of Rk.Edwin Mares - 1992 - Reports on Mathematical Logic:3-10.
A Generalization of the Routley-Meyer Semantic Framework.Morgan Thomas - 2015 - Journal of Philosophical Logic 44 (4):411-427.
Quantified modal logic with neighborhood semantics.Geir Waagbø & G. Waagbø - 1992 - Mathematical Logic Quarterly 38 (1):491-499.
“Four-Valued” Semantics for the Relevant Logic R.Edwin D. Mares - 2004 - Journal of Philosophical Logic 33 (3):327-341.
The nature of information: a relevant approach.Edwin Mares - 2010 - Synthese 175 (1):111 - 132.
A star-free semantics for R.Edwin D. Mares - 1995 - Journal of Symbolic Logic 60 (2):579 - 590.

Analytics

Added to PP
2017-02-20

Downloads
22 (#725,460)

6 months
3 (#1,026,267)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Edwin Mares
Victoria University of Wellington

Citations of this work

Varieties of Relevant S5.Shawn Standefer - 2023 - Logic and Logical Philosophy 32 (1):53–80.
Actual Issues for Relevant Logics.Shawn Standefer - 2020 - Ergo: An Open Access Journal of Philosophy 7.
Tracking reasons with extensions of relevant logics.Shawn Standefer - 2019 - Logic Journal of the IGPL 27 (4):543-569.
Quantified Modal Relevant Logics.Nicholas Ferenz - 2023 - Review of Symbolic Logic 16 (1):210-240.

View all 15 citations / Add more citations

References found in this work

No references found.

Add more references