Abstract I propose 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, I show 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. I also show 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
[1]
J. Barwise,et al.
The Liar: An Essay on Truth and Circularity
,
1987
.
[2]
J. McCarthy,et al.
On the model theory of knowledge
,
1978
.
[3]
A. Tarski.
A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS
,
1955
.
[4]
Gilbert Harman,et al.
Linguistic behaviour (review)
,
2015
.
[5]
K. Jon Barwise,et al.
The situation in logic
,
1989,
CSLI lecture notes series.
[6]
Peter Aczel,et al.
Non-well-founded sets
,
1988,
CSLI lecture notes series.