Statements (29)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
formal semantics |
| gptkbp:application |
gptkb:artificial_intelligence
distributed computing game theory multi-agent systems |
| gptkbp:describes |
how agents update knowledge after events
|
| gptkbp:field |
gptkb:logic
gptkb:philosophy computer science |
| gptkbp:hasAxiom |
reduction axioms
update rules |
| gptkbp:hasModel |
Kripke model
action model |
| https://www.w3.org/2000/01/rdf-schema#label |
Dynamic Epistemic Logic
|
| gptkbp:introducedIn |
1990s
|
| gptkbp:notableContributor |
gptkb:Barteld_Kooi
gptkb:Hans_van_Ditmarsch gptkb:Wiebe_van_der_Hoek |
| gptkbp:notableIdea |
action model logic
public announcement logic |
| gptkbp:publishedIn |
gptkb:Dynamic_Epistemic_Logic_(book,_2007)
|
| gptkbp:relatedTo |
gptkb:logic
epistemic logic |
| gptkbp:studies |
belief change
knowledge change |
| gptkbp:bfsParent |
gptkb:Eric_Pacuit
gptkb:Fenrong_Liu |
| gptkbp:bfsLayer |
6
|