Identity in Mares-Goldblatt Models for Quantified Relevant Logic

Journal of Philosophical Logic 50 (6):1389-1415 (2021)
  Copy   BIBTEX


Mares and Goldblatt, 163–187, 2006) provided an alternative frame semantics for two quantified extensions of the relevant logic R. In this paper, I show how to extend the Mares-Goldblatt frames to accommodate identity. Simpler frames are provided for two zero-order logics en route to the full logic in order to clarify what is needed for identity and substitution, as opposed to quantification. I close with a comparison of this work with the Fine-Mares models for relevant logics with identity and a discussion of constant and variable domains.



    Upload a copy of this work     Papers currently archived: 86,213

External links

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

Through your library

Similar books and articles

A General Semantics for Quantified Modal Logic.Robert Goldblatt & Edwin D. Mares - 2006 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. Stanford: CSLI Publications. pp. 227-246.
Notes on Stratified Semantics.Shay Allen Logan - 2019 - Journal of Philosophical Logic 48 (4):749-786.
From Iff to Is: Some New Thoughts on Identity in Relevant Logics.Edwin Mares - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Basel, Switzerland: Springer Verlag. pp. 343-363.
General information in relevant logic.Edwin D. Mares - 2009 - Synthese 167 (2):343-362.
A General Semantic for Quantified Modal Logic.Robert Goldblatt & Edwin D. Mares - 2006 - In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 227-246.
The Semantic Completeness Of Rk.Edwin Mares - 1992 - Reports on Mathematical Logic:3-10.
Tracking reasons with extensions of relevant logics.Shawn Standefer - 2019 - Logic Journal of the IGPL 27 (4):543-569.
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.


Added to PP

16 (#742,082)

6 months
3 (#338,162)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Shawn Standefer
National Taiwan University

Citations of this work

A Substructural Approach to Explicit Modal Logic.Shawn Standefer - 2023 - Journal of Logic, Language and Information 32 (2):333–362.
Neighbourhood Semantics for Quantified Relevant Logics.Andrew Tedder & Nicholas Ferenz - 2022 - Journal of Philosophical Logic 51 (3):457-484.
First-Order Relevant Reasoners in Classical Worlds.Nicholas Ferenz - forthcoming - Review of Symbolic Logic:1-26.

Add more citations

References found in this work

An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - New York: Cambridge University Press.
Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton, N.J.: Princeton University Press. Edited by Nuel D. Belnap & J. Michael Dunn.
The Connectives.Lloyd Humberstone - 2011 - MIT Press. Edited by Lloyd Humberstone.

View all 44 references / Add more references