Intuitionistic common knowledge or belief

DOI10.1016/J.JAL.2016.04.004MaRDI QIDQ334160zbMATH OpenOpenAlexFDO

Authors Gerhard Jäger, Michel Marti

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)

Recommendations

• On the logic of common belief and common knowledge
• Common Belief with the Logic of Individual Belief
• Intersubjective consistency of knowledge and belief
• Refined common knowledge logics or logics of common information
• La connaissance commune en logique modale

Cites work

• scientific article; zbMATH DE number 3950488 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• About cut elimination for logics of common knowledge
• An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory
• Common knowledge logic in a higher order proof assistant
• Cut-free common knowledge
• Deduction chains for common knowledge
• Intuitionistic epistemic logic, Kripke models and Fitch's paradox
• Label-free modular systems for classical and intuitionistic modal logics
• On intuitionistic modal epistemic logic
• On some intuitionistic modal logics
• Syntactic cut-elimination for a fragment of the modal mu-calculus

Cited in

(11)

• Common Knowledge and the Knowledge Account of Assertion
• scientific article; zbMATH DE number 847981 (Why is no real title available?)
• Formalizing common belief with no underlying assumption on individual beliefs
• Universal knowledge-belief structures
• scientific article; zbMATH DE number 7585720 (Why is no real title available?)
• Epistemic Logics of Structured Intensional Groups
• A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic
• Hennessy-Milner properties via topological compactness
• Intersubjective consistency of knowledge and belief
• The proof theory of common knowledge
• Logic of intuitionistic interactive proofs (formal theory of perfect knowledge transfer)

This page was built for publication: Intuitionistic common knowledge or belief

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