Statements (54)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
formal semantics |
| gptkbp:application |
gptkb:artificial_intelligence
game theory multi-agent systems |
| gptkbp:describes |
communication events
epistemic actions information dynamics |
| gptkbp:field |
gptkb:logic
gptkb:philosophy computer science |
| gptkbp:hasConcept |
completeness
decidability model checking common knowledge belief revision bisimulation public announcement event model Kripke model action model expressivity product update arbitrary public announcement logic axiomatization distributed knowledge epistemic action epistemic action model epistemic event model epistemic model epistemic planning epistemic program epistemic protocol epistemic temporal logic epistemic transition system epistemic update group announcement logic private announcement private announcement operator public announcement operator update product |
| https://www.w3.org/2000/01/rdf-schema#label |
dynamic epistemic logic
|
| gptkbp:notableContributor |
gptkb:Barteld_Kooi
gptkb:Hans_van_Ditmarsch gptkb:Wiebe_van_der_Hoek |
| gptkbp:relatedTo |
epistemic logic
public announcement logic |
| gptkbp:studies |
belief change
knowledge change |
| gptkbp:bfsParent |
gptkb:propositional_dynamic_logic
gptkb:Dynamic_Epistemic_Logic_(book_by_Johan_van_Benthem) gptkb:Hans_van_Ditmarsch gptkb:Public_announcement_logic |
| gptkbp:bfsLayer |
6
|