Picture for Bastien Maubert

Bastien Maubert

Dynamic Epistemic Logic Games with Epistemic Temporal Goals

Add code
Jan 20, 2020
Figure 1 for Dynamic Epistemic Logic Games with Epistemic Temporal Goals
Figure 2 for Dynamic Epistemic Logic Games with Epistemic Temporal Goals
Viaarxiv icon

Changing Observations in Epistemic Temporal Logic

Add code
Sep 03, 2018
Figure 1 for Changing Observations in Epistemic Temporal Logic
Figure 2 for Changing Observations in Epistemic Temporal Logic
Figure 3 for Changing Observations in Epistemic Temporal Logic
Viaarxiv icon