A complete epistemic logic for multiple agents. (English) Zbl 0956.03022
Bacharach, M. O. L. (ed.) et al., Epistemic logic and the theory of games and decisions. Based on the conference, Marseille, France, January 1994. Dordrecht: Kluwer Academic Publishers. Theory Decis. Libr., Ser. C. 20, 35-68 (1997).
\(\text{S5}_m (\text{CDE)}\) is a composite propositional logic presented axiomatically, with \(m\) epistemic operators satisfying the S5 modal postulates plus operators \(C\) for ‘it is common knowledge that’, \(D\) for ‘it is distributed knowledge that’, and \(E\) for ‘everybody knows that’. Various segments of this logic have been given semantic characterizations in terms of possible worlds, but it is not a trivial matter to merge the completeness proofs to work for the whole system with respect to an appropriate semantics. The authors carry out the task. In the process they also obtain some new information about finite models and decidability for the composite system and certain of its segments.
For the entire collection see [Zbl 0931.00027].
For the entire collection see [Zbl 0931.00027].
Reviewer: David Makinson (Ville d’Avray)
MSC:
03B42 | Logics of knowledge and belief (including belief change) |
68T30 | Knowledge representation |
68T27 | Logic in artificial intelligence |