Symmetry and completeness in relevant epistemic logic

DOI10.1007/S10992-025-09791-WMaRDI QIDQ6987238zbMATH OpenFDO

Authors Shawn Standefer, Edwin D. Mares

Publication date 7 May 2025

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

Full work available at URL https://doi.org/10.1007/S10992-025-09791-W

zbMATH Keywords

disjunction propertyequivalence relationsHalldén completenessmetavaluationsrelevant epistemic logicsrelevant logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A hyperintensional logic of non-prime evidence
• A metacompleteness theorem for contraction-free relevant logics
• A substructural approach to explicit modal logic
• An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
• Epistemic extensions of modal distributive substructural logics
• Epistemic logics for relevant reasoners
• Epistemic logics for sceptical agents
• First-order relevant reasoners in classical worlds
• Hallden-completeness by gluing of Kripke frames
• Halldén completeness for relevant modal logics
• Handbook of philosophical logic. Vol. 6
• scientific article; zbMATH DE number 3131074 (Why is no real title available?)
• 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 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1489626 (Why is no real title available?)
• scientific article; zbMATH DE number 2149468 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• scientific article; zbMATH DE number 3378892 (Why is no real title available?)
• Knowledge and belief. An introduction to the logic of the two notions. Prepared by Vincent F. Hendricks and John Symons
• Metacompleteness
• Metavaluations
• Models for relevant modal logics
• Mostly Meyer modal models
• Neighborhoods for entailment
• Neighbourhood semantics for modal relevant logics
• Non-Boolean classical relevant logics. II: Classicality through truth-constants
• On some intuitionistic modal logics
• One variable relevant logics are S5Ish
• Philosophy of logic
• QUANTIFIED MODAL RELEVANT LOGICS
• Relevance logic (to appear)
• Relevant agents
• Relevant epistemic logic with public announcements and common knowledge
• Relevant justification logic
• Relevant reasoning and implicit beliefs
• Some metacomplete relevant modal logics
• Substructural epistemic logics
• The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models
• The admissibility of \(\gamma\) in R4
• The connectives
• Tracking reasons with extensions of relevant logics
• Varieties of Relevant S5
• Weak relevant justification logics
• Where gamma fails

This page was built for publication: Symmetry and completeness in relevant epistemic logic

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