23 citations · 42 across the 12 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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.LO2017
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic
Dominik Klein, Rasmus K. Rendsvig
The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic satisfies the requirements…