Sciweavers

TABLEAUX
2007
Springer

A Tableau Method for Public Announcement Logics

14 years 7 days ago
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.
Philippe Balbiani, Hans P. van Ditmarsch, Andreas
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where TABLEAUX
Authors Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima
Comments (0)