Formal semantics for mutual belief

DOI10.1016/0004-3702(93)90082-MMaRDI QIDQ685541zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 1396181
• A suitable semantics for implicit and explicit belief
• A probabilistic semantics for belief logic
• scientific article; zbMATH DE number 7368429
• Belief, provability, and logic programs
• scientific article; zbMATH DE number 1761412
• Axiomatization of qualitative belief structure
• Semantics for a theory of defeasible reasoning
• Belief closure: A semantics of common knowledge for modal propositional logic
• Logic of agreement: Foundations, semantic system and proof theory

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3707731 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 42737 (Why is no real title available?)
• scientific article; zbMATH DE number 44058 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications

Cited in

(6)

• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
• On the logic and role of negative introspection of common belief
• scientific article; zbMATH DE number 1552269 (Why is no real title available?)
• Modeling the beliefs of other agents. Achieving mutuality
• An ordered credibility contrast semantics for finite probability agreement
• Formalizing common belief with no underlying assumption on individual beliefs

This page was built for publication: Formal semantics for mutual belief

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