Picture for Sophie Pinchinat

Sophie Pinchinat

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

Refinement Modal Logic

Add code
Dec 25, 2013
Figure 1 for Refinement Modal Logic
Figure 2 for Refinement Modal Logic
Figure 3 for Refinement Modal Logic
Figure 4 for Refinement Modal Logic
Viaarxiv icon