23 citations · 26 across the 2 of their papers we have counts for
2 papers
cs.LO2019★ 23 cited
Dynamic Term-Modal Logics for First-Order Epistemic Planning
Andrés Occhipinti Liberman, Andreas Achen, Rasmus Kræmmer Rendsvig
Many classical planning frameworks are built on first-order languages. The first-order expressive power is desirable for compactly representing actions via schemas, and for specify…
cs.LO2018★ 3 cited
Putting the Agents back in the Domain: A Two-Sorted Term-Modal Logic
Andreas Achen
In the present paper syntax and semantics will be presented for an expansion of ordinary n-agent QML with constant domain, non-rigid constants, rigid variables and including both f…