Tableaux for Public Announcement Logic

DOI10.1093/logcom/exn060zbMath1189.03019OpenAlexW2092346246MaRDI QIDQ3406684

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

Publication date: 19 February 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/1b1124360979e20429165adbec2585e2436b2579

zbMATH Keywords

knowledge representationmulti-agent systemspublic announcement logicdynamic epistemic logicsanalytic tableaux

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35) Agent technology and artificial intelligence (68T42)

Related Items (16)

Announcements to attentive agents ⋮ Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators ⋮ Generalized DEL-Sequents ⋮ From single agent to multi-agent via hypersequents ⋮ Reasoning about knowledge and messages in asynchronous multi-agent systems ⋮ An Epistemic Separation Logic ⋮ Reasoning dynamically about what one says ⋮ Reflecting on social influence in networks ⋮ Tableau-based decision procedure for logic of knowing-how via simple plans ⋮ A public announcement separation logic ⋮ A four-valued dynamic epistemic logic ⋮ DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT ⋮ Recapturing dynamic logic of relation changers via bounded morphisms ⋮ Revising a Labelled Sequent Calculus for Public Announcement Logic ⋮ Intuitionistic Layered Graph Logic ⋮ Tableau Method and NEXPTIME-Completeness of DEL-Sequents

This page was built for publication: Tableaux for Public Announcement Logic