A substructural approach to explicit modal logic

DOI10.1007/s10849-022-09380-zzbMath1515.03109OpenAlexW4295123584MaRDI QIDQ6156629

Shawn Standefer

Publication date: 14 June 2023

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-022-09380-z

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• On the ternary relation and conditionality
• The nature of information: a relevant approach
• From the knowability paradox to the existence of proofs
• The logic of proofs, semantically
• A relevant logic of questions
• General information in relevant logic
• Belief, awareness, and limited reasoning
• Relevant predication. I: The formal theory
• Semantics for relevance logic with identity
• Models for entailment
• Relevant logic and the theory of information
• Neighborhoods for entailment
• Substructural logics for pooling information
• Handbook of philosophical logic. Vol. 6
• Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
• Identity in Mares-Goldblatt models for quantified relevant logic
• An incompleteness theorem for modal relevant logics
• Models for relevant modal logics
• Neighborhood semantics for modal logic
• Epistemic extensions of modal distributive substructural logics
• Epistemic logics for sceptical agents
• On Realization of -modality by Evidence Terms
• Evidence Reconstruction of Epistemic Modal Logic S5
• Justifications, Awareness and Epistemic Dynamics
• THE LOGIC OF JUSTIFICATION
• Substructural epistemic logics
• A new framework for justification logic
• A LOGIC OF JUSTIFICATION AND TRUTHMAKING
• Information Flow in Logics in the Vicinity of BB
• A hyperintensional logical framework for deontic reasons
• Tracking reasons with extensions of relevant logics
• The basic intuitionistic logic of proofs
• Relative necessity
• Justification Logic
• SUBSTRUCTURAL INQUISITIVE LOGICS
• Semantics for relevant logics
• 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