Completeness of Epistemic Coalition Logic with Group Knowledge
Abstract
Coalition logic is one of the most popular logics for multi-agent systems. While epistemic extensions of coalition logic have received much attention, existence of their complete axiomatisations has so far been an open problem. In this paper we settle several of those problems. We prove completeness for epistemic coalition logic with common knowledge, with distributed knowledge, and with both common and distributed knowledge, respectively.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2011
- DOI:
- 10.48550/arXiv.1107.0278
- arXiv:
- arXiv:1107.0278
- Bibcode:
- 2011arXiv1107.0278A
- Keywords:
-
- Computer Science - Logic in Computer Science