Statements (53)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:formal_semantics
gptkb:logic |
| 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 |
gptkb:product_update
gptkb:event_model completeness decidability model checking common knowledge belief revision bisimulation public announcement Kripke model action model expressivity 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 |
| gptkbp:notableContributor |
gptkb:Barteld_Kooi
gptkb:Hans_van_Ditmarsch gptkb:Wiebe_van_der_Hoek |
| gptkbp:relatedTo |
gptkb:epistemic_logic
public announcement logic |
| gptkbp:studies |
belief change
knowledge change |
| gptkbp:bfsParent |
gptkb:Dynamic_Epistemic_Logic_(book,_2007)
gptkb:propositional_dynamic_logic gptkb:Hans_van_Ditmarsch |
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
dynamic epistemic logic
|