Alert button

Dynamic Epistemic Logic Games with Epistemic Temporal Goals

Jan 20, 2020
Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri

Figure 1 for Dynamic Epistemic Logic Games with Epistemic Temporal Goals
Figure 2 for Dynamic Epistemic Logic Games with Epistemic Temporal Goals

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: