Picture for Andreas Achen

Andreas Achen

Dynamic Term-Modal Logics for Epistemic Planning

Add code
Jun 14, 2019
Figure 1 for Dynamic Term-Modal Logics for Epistemic Planning
Figure 2 for Dynamic Term-Modal Logics for Epistemic Planning
Figure 3 for Dynamic Term-Modal Logics for Epistemic Planning
Figure 4 for Dynamic Term-Modal Logics for Epistemic Planning
Viaarxiv icon