Formal semantics for mutual belief
From MaRDI portal
Publication:685541
DOI10.1016/0004-3702(93)90082-MzbMath0777.68072MaRDI QIDQ685541
Publication date: 17 October 1993
Published in: Artificial Intelligence (Search for Journal in Brave)
doxastic logic; greatest fixpoint of a monotone, continuous set operator; modal mutual belief; private beliefs
03B45: Modal logic (including the logic of norms)
68T30: Knowledge representation
68Q55: Semantics in the theory of computing
Related Items
On the logic and role of negative introspection of common belief, 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000
Cites Work