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…