Hyperintensionality in Relevant Logics

In Natasha Alechina, Andreas Herzig & Fei Liang, Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings. Springer Nature Switzerland. pp. 238-250 (2023)
  Copy   BIBTEX

Abstract

In this article, we present a definition of a hyperintensionality appropriate to relevant logics. We then show that relevant logics are hyperintensional in this sense, drawing consequences for other non-classical logics, including HYPE and some substructural logics. We further prove results concerning extensionality in relevant logics. We close by discussing related concepts for classifying formula contexts and potential applications of these results.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-031-45558-2_18

Other Versions

No versions found

Links

PhilArchive

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

Connexivity Meets Church and Ackermann.Luis Estrada-González & Miguel Ángel Trejo-Huerta - 2023 - In Natasha Alechina, Andreas Herzig & Fei Liang, Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings. Springer Nature Switzerland. pp. 77-85.
Modal Logics with Non-rigid Propositional Designators.Yifeng Ding - 2023 - In Natasha Alechina, Andreas Herzig & Fei Liang, Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings. Springer Nature Switzerland. pp. 47-62.
On the Finite Model Property of Non-normal Modal Logics.Yu Peng & Yiheng Wang - 2023 - In Natasha Alechina, Andreas Herzig & Fei Liang, Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings. Springer Nature Switzerland. pp. 207-221.
Routes to relevance: Philosophies of relevant logics.Shawn Standefer - 2024 - Philosophy Compass 19 (2):e12965.
Representation Results for Non-cumulative Logics.Xuefeng Wen & Xincheng Luo - 2021 - In Sujata Ghosh & Thomas Icard, Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 259-272.
Epistemic Monadic Boolean Algebras.Juntong Guo & Minghui Ma - 2023 - In Natasha Alechina, Andreas Herzig & Fei Liang, Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings. Springer Nature Switzerland. pp. 135-148.
An Inferential Theory of Causal Reasoning.Alexander Bochman - 2023 - In Natasha Alechina, Andreas Herzig & Fei Liang, Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings. Springer Nature Switzerland. pp. 1-16.
Relevant propositional dynamic logic.Andrew Tedder & Marta Bilková - 2022 - Synthese 200 (3):1-42.
Of Temporary Coalitions in Terms of Concurrent Game Models, Announcements, and Temporal Projection.Dimitar P. Guelev - 2023 - In Natasha Alechina, Andreas Herzig & Fei Liang, Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings. Springer Nature Switzerland. pp. 126-134.
Displaying and deciding substructural logics 1: Logics with contraposition.Greg Restall - 1998 - Journal of Philosophical Logic 27 (2):179-216.

Analytics

Added to PP
2023-10-25

Downloads
398 (#75,599)

6 months
183 (#20,724)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Shawn Standefer
National Taiwan University

Citations of this work

Epistemic Logics for Relevant Reasoners.Igor Sedlár & Pietro Vigiani - 2024 - Journal of Philosophical Logic 53 (5):1383-1411.

Add more citations

References found in this work

The Connectives.Lloyd Humberstone - 2011 - MIT Press. Edited by Lloyd Humberstone.
Hyperintensional metaphysics.Daniel Nolan - 2014 - Philosophical Studies 171 (1):149-160.
The Logic of Provability.George Boolos - 1993 - Cambridge and New York: Cambridge University Press.
HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.
Varieties of Relevant S5.Shawn Standefer - 2023 - Logic and Logical Philosophy 32 (1):53–80.

View all 14 references / Add more references