A Tableau Method for Public Announcement Logics

Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose a labelled tableau-calculus for this logic. We also present an extension of the calculus for a logic of arbitrary announcements.

• Type: Conference
• Year: 2007
• Where: TABLEAUX
• Authors: Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima
• Keywords: Artificial Intelligence, Dynamic Operators, Multi-agent Epistemic Logic, Public Announcement Logic, TABLEAUX 2007