A Tableau Method for Public Announcement Logics

DOI10.1007/978-3-540-73099-6_6zbMath1132.68719OpenAlexW2154633338MaRDI QIDQ5434478

Philippe Balbiani, Andreas Herzig, Tiago de Lima, Hans P. van Ditmarsch

Publication date: 4 January 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.3664

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (2)

‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ ⋮ LotrecScheme

This page was built for publication: A Tableau Method for Public Announcement Logics