23 citations · 42 across the 12 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.MA2019
Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended Version)
Andrés Occhipinti Liberman, Rasmus K. Rendsvig
Logics for social networks have been studied in recent literature. This paper presents a framework based on *dynamic term-modal logic* (DTML), a quantified variant of dynamic epist…
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…