Publication:5477946
From MaRDI portal
zbMath1101.03018MaRDI QIDQ5477946
Publication date: 29 June 2006
survey; communication; information; knowledge; belief; public announcement; dynamic epistemic logics
03B42: Logics of knowledge and belief (including belief change)
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
Related Items
Structures of Oppositions in Public Announcement Logic, Information dynamics and uniform substitution, Public announcement logic with distributed knowledge: expressivity, completeness and complexity, Reverse public announcement operators on expanded models, Schematic Validity in Dynamic Epistemic Logic: Decidability