Public announcement logic

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:logic
epistemic logic
gptkbp:describes knowledge change after public announcements
gptkbp:field gptkb:logic
computer science
gptkbp:formalizes effects of public communication on knowledge
https://www.w3.org/2000/01/rdf-schema#label Public announcement logic
gptkbp:introduced place
gptkbp:introducedIn 1989
gptkbp:operator [!A] (after announcement of A)
gptkbp:relatedTo gptkb:Kripke_models
gptkb:dynamic_epistemic_logic
gptkbp:studies how agents update beliefs after announcements
gptkbp:usedIn gptkb:artificial_intelligence
game theory
multi-agent systems
gptkbp:bfsParent gptkb:Dynamic_epistemic_logic
gptkbp:bfsLayer 5