Bibtex de la publication

@InProceedings{ Ch2016.3,
author = {Charrier, Tristan and Herzig, Andreas and Lorini, Emiliano and Maffre, Faustine and Schwarzentruber, Fran├žois},
title = "{Building epistemic logic from observations and public announcements (regular paper)}",
booktitle = "{International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), Capetown, 25/04/16-29/04/16}",
year = {2016},
publisher = {AAAI Press},
address = {},
pages = {268--277},
language = {anglais},
URL = { -},
keywords = {epistemic logic, dynamic epistemic logic, public announcement, propositional assignment, propositional observability},
abstract = {We study an epistemic logic where knowledge is built from what the agents observe (including higher-order visibility) and what the agents learn from public announcements. This fixes two main drawbacks of previous observability-based approaches where who sees what is common knowledge and where the epistemic operators distribute over disjunction. The latter forbids the modeling of most of the classical epistemic problems, starting with the muddy children puzzle. We integrate a dynamic dimension where both facts of the world and the agents' observability can be modified by assignment programs. We provide a sound and complete axiomatization of the logic and establish that the model checking problem is PSPACE-complete.}