TY  - RPRT
TI  - Dynamic Term-Modal Logics for First-Order Epistemic Planning
AU  - Andrés Occhipinti Liberman
AU  - Andreas Achen
AU  - Rasmus Kræmmer Rendsvig
PY  - 2020
DO  - 10.1016/j.artint.2020.103305
UR  - https://arxiv.org/abs/1906.06047
ID  - 1906.06047
ER  -