Completeness of Epistemic Coalition Logic with Group Knowledge

TL;DR

This paper establishes the completeness of various epistemic coalition logics, including those with common and distributed knowledge, resolving longstanding open problems in multi-agent system logic.

Contribution

It provides the first complete axiomatisations for epistemic coalition logic with common and distributed knowledge.

Findings

Proved completeness for epistemic coalition logic with common knowledge.

Proved completeness for epistemic coalition logic with distributed knowledge.

Proved completeness for epistemic coalition logic with both common and distributed 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.