Searching for "A Tableau Method for Public Announcement Logics." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

A tableau method for public announcement logics
by Hans Van Ditmarsch, Andreas Herzig, Tiago De Lima — 2007 — Proceedings of the International Conference on Automated Reasoning with Ana. Tableaux and Related Methods (TABLEAUX
…A tableau method for public announcement logics Philippe Balbiani 1 , Hans van Ditmarsch 2…
Cited by 1 (0 self) – Add To MetaCart

What becomes true after arbitrary announcements
by Hans Van Ditmarsch, Hans Van Ditmarsch, Andreas Herzig, Andreas Herzig, Tiago De Lima, Tiago De Lima — 2006
… provide a labelled tableau-calculus. Keywords: public announcement logic; dynamic epistemics; tableau…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB