Neighbourhood semantics for modal relevant logics

DOI10.1007/s10992-022-09668-2OpenAlexW4283711840MaRDI QIDQ2686089

Andrew Tedder, Nicholas Ferenz

Publication date: 24 February 2023

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-022-09668-2

zbMATH Keywords

relevant logicrelevant modal logicneighbourhood semanticsnonclassical modal logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Some metacomplete relevant modal logics
• The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations
• General frames for relevant modal logics
• Simplified semantics for relevant logics (and some of their rivals)
• Residuated lattices. An algebraic glimpse at substructural logics
• On permutation in simplified semantics
• Simplified semantics for basic relevant logics
• The admissibility of \(\gamma\) in R4
• Process and action: Relevant theory and logics
• The semantics of \(R4\)
• Classical relevant logics. I
• The semantics of entailment. II
• Neighborhoods for entailment
• CE is not a conservative extension of E
• The incompleteness of RGL
• A Sahlqvist theorem for relevant modal logics
• Positive modal logic
• An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
• An incomplete relevant modal logic
• An incompleteness theorem for modal relevant logics
• Neighbourhood semantics for quantified relevant logics
• What is a relevant connective?
• Models for relevant modal logics
• Halldén completeness for relevant modal logics
• Neighborhood semantics for modal logic
• QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS
• Classically complete modal relevant logics
• Information Flow in Logics in the Vicinity of BB
• From positive PDL to its non-classical extensions
• Tracking reasons with extensions of relevant logics
• Boolean negation and non-conservativity I: Relevant modal logics
• The Semantics of First Degree Entailment
• An alternative semantics for quantified relevant logic
• MIPC as the formalisation of an intuitionist concept of modality
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item