2 papers
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.LO2017
Evidence Logics with Relational Evidence
Alexandru Baltag, Andrés Occhipinti Liberman
Dynamic evidence logics are logics for reasoning about the evidence and evidence-based beliefs of agents in a dynamic environment. In this paper, we introduce a family of logics fo…