Tableaux for public announcement logic

Philippe Balbiani, H. Ditmarsch, van, Andreas Herzig, T. Lima, de

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

29 Citaten (Scopus)

Samenvatting

Public announcement logic extends multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. In this article, we propose a labelled tableau calculus for this logic, and show that it decides satisfiability of formulas in deterministic polynomial space. Since this problem is known to be PSPACE-complete, it follows that our proof method is optimal.
Originele taal-2Engels
Pagina's (van-tot)55-76
Aantal pagina's22
TijdschriftJournal of Logic and Computation
Volume20
Nummer van het tijdschrift1
DOI's
StatusGepubliceerd - 2010

Vingerafdruk Duik in de onderzoeksthema's van 'Tableaux for public announcement logic'. Samen vormen ze een unieke vingerafdruk.

Citeer dit