Arbitrary announcement logic (abstract)

Philippe Balbiani (1, 2) , Alexandru Baltag , Hans van Ditmarsch (3, 4) , Andreas Herzig (1, 2) , Tomoshiro Hoshi , Tiago de Lima (5)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique
3 LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
4 University of Otago [Dunedin, Nouvelle-Zélande]
5 CRIL - Centre de Recherche en Informatique de Lens

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 an extension of public announcement logic, called arbitrary announcement logic, with a dynamic modal operator that expresses what is true after arbitrary announcements.

Domaines: Intelligence artificielle [cs.AI]

Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomoshiro Hoshi, et al.. Arbitrary announcement logic (abstract). The Bulletin of Symbolic Logic, 2008, The 2007 Annual Conference of the Australasian Association for Logic, 14 (3), pp.438-439. ⟨10.2178/bsl/1231081377⟩. ⟨hal-00747135⟩