A substructural approach to explicit modal logic

DOI10.1007/S10849-022-09380-ZMaRDI QIDQ6156629zbMATH OpenOpenAlexFDO

Authors 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)

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

Cites work

• scientific article; zbMATH DE number 3891328 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3490942 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3611331 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 972605 (Why is no real title available?)
• A LOGIC OF JUSTIFICATION AND TRUTHMAKING
• A hyperintensional logical framework for deontic reasons
• A new framework for justification logic
• A relevant logic of questions
• An incompleteness theorem for modal relevant logics
• An introduction to non-classical logic. From if to is
• Belief, awareness, and limited reasoning
• Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
• Epistemic extensions of modal distributive substructural logics
• Epistemic logics for sceptical agents
• Evidence Reconstruction of Epistemic Modal Logic S5
• From the knowability paradox to the existence of proofs
• General information in relevant logic
• Handbook of philosophical logic. Vol. 6
• Identity in Mares-Goldblatt models for quantified relevant logic
• Information flow in logics in the vicinity of \textbf{BB}
• Justification logic. Reasoning with reasons
• Justifications, Awareness and Epistemic Dynamics
• Logics of proofs and justifications
• Models for entailment
• Models for relevant modal logics
• Neighborhood semantics for modal logic
• Neighborhoods for entailment
• On Realization of -modality by Evidence Terms
• On the ternary relation and conditionality
• Operations on proofs and labels
• Relative necessity
• Relevant agents
• Relevant justification logic
• Relevant logic and the theory of information
• Relevant predication. I: The formal theory
• Routley-Meyer ternary relational semantics for intuitionistic-type negations
• SUBSTRUCTURAL INQUISITIVE LOGICS
• Semantics for relevance logic with identity
• Semantics for relevant logics
• Substructural epistemic logics
• Substructural logics for pooling information
• The basic intuitionistic logic of proofs
• The connectives
• The logic of justification
• The logic of proofs, semantically
• The nature of information: a relevant approach
• Tracking reasons with extensions of relevant logics

Cited in

(9)

• An algebraic approach to subframe logics. Modal case
• scientific article; zbMATH DE number 823607 (Why is no real title available?)
• Substructural logic of proofs
• Epistemic extensions of modal distributive substructural logics
• Modal translations in substructural logics
• scientific article; zbMATH DE number 6917935 (Why is no real title available?)
• scientific article; zbMATH DE number 7439733 (Why is no real title available?)
• 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)