Putting the Agents back in the Domain: A Two-Sorted Term-Modal Logic. - Andreas Achen (CoRR, 2018)

Dynamic Term-Modal Logics for Epistemic Planning. - Andreas Achen; Andrés Occhipinti Liberman; Rasmus K. Rendsvig (CoRR, 2019)

Dynamic term-modal logics for first-order epistemic planning. - Andrés Occhipinti Liberman; Andreas Achen; Rasmus Kræmmer Rendsvig (Artif. Intell., 2020)

Erratum to "Dynamic term-modal logics for first-order epistemic planning" [Artif. Intell. 286 (2020) 103305]. - Andrés Occhipinti Liberman; Andreas Achen; Rasmus Kræmmer Rendsvig (Artif. Intell., 2023)