Dynamic Term-Modal Logics for Epistemic Planning

Open in new window