Andreas Achen

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 4

Top Topics

Classical Logic

Inference Rules

Top Venues

Publications

Andrés Occhipinti Liberman, Andreas Achen, Rasmus Kræmmer Rendsvig
Erratum to "Dynamic term-modal logics for first-order epistemic planning" [Artif. Intell. 286 (2020) 103305]. Artif. Intell. 323 (2023)
Andrés Occhipinti Liberman, Andreas Achen, Rasmus Kræmmer Rendsvig
Dynamic term-modal logics for first-order epistemic planning. Artif. Intell. 286 (2020)
Andreas Achen, Andrés Occhipinti Liberman, Rasmus K. Rendsvig
Dynamic Term-Modal Logics for Epistemic Planning. CoRR (2019)
Andreas Achen
Putting the Agents back in the Domain: A Two-Sorted Term-Modal Logic. CoRR (2018)