Formal semantics for mutual belief
DOI10.1016/0004-3702(93)90082-MzbMATH Open0777.68072OpenAlexW1999417948MaRDI QIDQ685541FDOQ685541
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
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
doxastic logicgreatest fixpoint of a monotone, continuous set operatormodal mutual beliefprivate beliefs
Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55)
Cites Work
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
- Title not available (Why is that?)
- 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)
