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

• Type: Journal
• Year: 2005
• Where: APAL
• Authors: Luca Alberucci, Gerhard Jäger
• Keywords: APAL 2005, Common Belief, Common Knowledge, Important Role