About cut elimination for logics of common knowledge

The notions of common knowledge or common belief play an important role in several areas of computer science (e.g. distributed systems, communication), in philosophy, game theory, artificial intelligence, psychology and many other fields which deal with the interaction within a group of “agents”, agreement or coordinated actions. In the following we will present several deductive systems for common knowledge above epistemic logics -such as K, T, S4 and S5 -with a fixed number of agents. We focus on structural and proof-theoretic properties of these calculi.