Formal semantics for mutual belief

DOI10.1016/0004-3702(93)90082-MzbMath0777.68072OpenAlexW1999417948MaRDI QIDQ685541

Marco Colombetti

Publication date: 17 October 1993

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(93)90082-m

zbMATH Keywords

doxastic logicgreatest fixpoint of a monotone, continuous set operatormodal mutual beliefprivate beliefs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Knowledge representation (68T30) Semantics in the theory of computing (68Q55)

Related Items

Formalizing common belief with no underlying assumption on individual beliefs, 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000, On the logic and role of negative introspection of common belief

Cites Work

• A lattice-theoretical fixpoint theorem and its applications
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item