May 29, 2019 · We define reachability games based on Dynamic Epistemic Logic (DEL), where the players' actions are finely described as DEL action models.

We define reachability games based on Dynamic Epistemic Logic (DEL), where the players? actions are finely described as DEL action models.

Abstract. We define reachability games based on Dynamic. Epistemic Logic (DEL), where the players' actions are finely described as DEL action models.

May 29, 2019 · We define reachability games based on Dynamic Epistemic Logic (DEL), where the players' actions are finely described as DEL action models. We ...

We define reachability games based on Dynamic Epistemic Logic (DEL), where the players? actions are finely described as DEL action models.

Aug 10, 2019 · We define reachability games based on Dynamic Epistemic Logic (DEL), where the players' actions are finely described as DEL action models.

This work defines reachability games based on Dynamic Epistemic Logic (DEL), where the players' actions are finely described as DEL action models, ...

We define reachability games based on Dynamic Epistemic Logic (DEL), where the players' actions are finely described as DEL action models.

These games have been studied for reachability objectives, where the aim is to reach a situation satisfying some epistemic property expressed in epistemic logic ...

For example, on the left, the game can reach a state where E can choose between achieving outcome 2 or 3. No such stage occurs in the game on the right.