Before announcement

Philippe Balbiani (1, 2) , Hans van Ditmarsch (3) , Andreas Herzig (1, 2)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique
3 CELLO - Computational Epistemic Logic in LOrraine

We axiomatize the mono-agent logic of knowledge with public announcements and converse public announcements. A special variant of our logic is determined by the model of maximal ignorance wherein the agent considers all valuations of atomic formulas possible

Mots clés: Modal logic; Before announcement; Public announcement logic

Domaines: Intelligence artificielle [cs.AI]; Logique en informatique [cs.LO]

Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig. Before announcement. 11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.58-77. ⟨hal-01650180⟩