On the Logic of Common Belief

DOI10.1002/MALQ.19960420126MaRDI QIDQ4888342zbMATH OpenOpenAlexFDO

Authors Giacomo Bonanno

Publication date 28 July 1996

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19960420126

zbMATH Keywords

common knowledgemultimodal logiccommon beliefKripke modelaccessibility relations

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• On the logic of common belief and common knowledge
• The proof theory of common knowledge
• Common belief in monotonic epistemic logic
• Intersubjective consistency of knowledge and belief
• A non-minimal but very weak axiomatization of common belief

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• On the logic of common belief and common knowledge
• Systems for Knowledge and Belief

Cited in

(13)

• Strong completeness theorems for weak logics of common belief
• On the logic of common belief and common knowledge
• On the logic and role of negative introspection of common belief
• A modal logic of intentional communication
• Joint Behavior and Common Belief
• Intersubjective consistency of knowledge and belief
• A non-minimal but very weak axiomatization of common belief
• Communication among agents: a way to revise beliefs in KD45 Kripke structures
• Refined common knowledge logics or logics of common information
• Formalizing common belief with no underlying assumption on individual beliefs
• Assessing the truth axiom under incomplete information
• scientific article; zbMATH DE number 2131056 (Why is no real title available?)
• Common Belief with the Logic of Individual Belief

This page was built for publication: On the Logic of Common Belief

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