A substructural approach to explicit modal logic

DOI10.1007/S10849-022-09380-ZzbMATH Open1515.03109OpenAlexW4295123584MaRDI QIDQ6156629FDOQ6156629

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

Recommendations

• scientific article; zbMATH DE number 823607
• Kripke semantics for modal substructural logics
• scientific article; zbMATH DE number 6302917
• Substructural logic of proofs
• Epistemic extensions of modal distributive substructural logics

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

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

Cited In (8)

• An algebraic approach to subframe logics. Modal case
• Title not available (Why is that?)
• Epistemic extensions of modal distributive substructural logics
• Modal translations in substructural logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Exemplaric Expressivity of Modal Logics
• A uniform framework for substructural logics with modalities

This page was built for publication: A substructural approach to explicit modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6156629)