Intuitionistic common knowledge or belief

DOI10.1016/J.JAL.2016.04.004zbMATH Open1436.03111OpenAlexW2344410380MaRDI QIDQ334160FDOQ334160

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

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

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)

Cites Work

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Label-free modular systems for classical and intuitionistic modal logics
• Common knowledge logic in a higher order proof assistant
• Intuitionistic epistemic logic, Kripke models and Fitch's paradox
• Syntactic cut-elimination for a fragment of the modal mu-calculus

Cited In (11)

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

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)