Intuitionistic common knowledge or belief

DOI10.1016/j.jal.2016.04.004zbMath1436.03111OpenAlexW2344410380MaRDI QIDQ334160

Michel Marti, Gerhard Jäger

Publication date: 31 October 2016

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2016.04.004

zbMATH Keywords

common knowledgecanonical modelsintuitionistic modal logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Hennessy-Milner properties via topological compactness, A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic, The Proof Theory of Common Knowledge

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionistic epistemic logic, Kripke models and Fitch's paradox
• Syntactic cut-elimination for a fragment of the modal mu-calculus
• On intuitionistic modal epistemic logic
• On some intuitionistic modal logics
• About cut elimination for logics of common knowledge
• Cut-free common knowledge
• Deduction chains for common knowledge
• An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory
• Common Knowledge Logic in a Higher Order Proof Assistant