Statements (35)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
Epistemic logic |
| gptkbp:describes |
Communication events
Epistemic actions Information dynamics |
| gptkbp:field |
gptkb:logic
gptkb:philosophy Computer science |
| gptkbp:hasApplication |
Security protocols
Automated reasoning Social networks |
| gptkbp:hasConcept |
Action model
Belief revision Common knowledge Epistemic update Private announcement Public announcement |
| https://www.w3.org/2000/01/rdf-schema#label |
Dynamic epistemic logic
|
| gptkbp:introducedIn |
1990s
|
| gptkbp:notableContributor |
gptkb:Johan_van_Benthem
gptkb:Hans_van_Ditmarsch gptkb:Wiebe_van_der_Hoek |
| gptkbp:notablePublication |
gptkb:Dynamic_Epistemic_Logic_(book_by_Johan_van_Benthem)
|
| gptkbp:relatedTo |
gptkb:Public_announcement_logic
Epistemic logic Modal logic Action model logic |
| gptkbp:studies |
Belief change
Knowledge change |
| gptkbp:usedIn |
gptkb:artificial_intelligence
gptkb:Game_theory Distributed computing Multi-agent systems |
| gptkbp:bfsParent |
gptkb:logic
|
| gptkbp:bfsLayer |
4
|