Models for the common knowledge logic

Yoshihito Tanaka

In this paper, we discuss models of the common knowledge logic. The common knowledge logic is a multi-modal logic that includes the modal operators ${\mathsf{K}}_i$ ($i\in\mathcal{…