Tracking reasons with extensions of relevant logics

DOI10.1093/JIGPAL/JZZ018MaRDI QIDQ5014055zbMATH OpenOpenAlexFDO

Authors Shawn Standefer

Publication date 3 December 2021

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzz018

zbMATH Keywords

explicit modal logicframe semanticsjustification logicrelevant logics

Mathematics Subject Classification ID

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

Recommendations

• Tracking reason. Proof, consequence, and truth
• Tracks of relations and equivalences-based reasoning
• Reasoning with Justifications
• scientific article; zbMATH DE number 1104444
• Justification logic. Reasoning with reasons
• Justification logic, inference tracking, and data privacy
• scientific article; zbMATH DE number 1749198
• Logical derivation search with assumption traceability
• Propositional reasoning that tracks probabilistic reasoning
• Relevant justification logic

Cited in

(11)

• Neighbourhood semantics for quantified relevant logics
• Justification logic with confidence
• Neighbourhood semantics for modal relevant logics
• Relevant justification logic
• On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs
• A substructural approach to explicit modal logic
• Hyperintensionality in relevant logics
• Epistemic logics for relevant reasoners
• Topics, non-uniform substitutions, and variable sharing
• Quantified modal relevant logics. II: Welcome to the neighbourhood
• Symmetry and completeness in relevant epistemic logic

This page was built for publication: Tracking reasons with extensions of relevant logics

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