Formal semantics for mutual belief (Q685541): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992552 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3993251 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992554 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3867808 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3899466 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A lattice-theoretical fixpoint theorem and its applications / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0004-3702(93)90082-m / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1999417948 / rank | |||
Normal rank |
Latest revision as of 10:08, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Formal semantics for mutual belief |
scientific article |
Statements
Formal semantics for mutual belief (English)
0 references
17 October 1993
0 references
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.
0 references
modal mutual belief
0 references
doxastic logic
0 references
greatest fixpoint of a monotone, continuous set operator
0 references
private beliefs
0 references