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

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

Review text

The paper proposes a formal semantics for a modal mutual belief operator, within a traditional doxastic logic. The truth set of a mutual belief expression is characterized as the greatest fixpoint of a monotone, continuous set operator. In this way, it is shown that mutual belief can be defined in terms of private beliefs and that, while its definition is in a sense circular, mutual belief need not itself be a non-well-founded mathematical object. It is also shown that if the logic of private beliefs is assumed to be Weak S5, the resulting logic of mutual belief is weaker, in that it does not enforce negative introspection.

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

• A lattice-theoretical fixpoint theorem and its applications
• 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?)

Cited in

(6)

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

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)