23 citations · 42 across the 12 of their papers we have counts for
4 papers · 1 filter
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…
Diffusion, Influence and Best-Response Dynamics in Networks: An Action Model Approach
Rasmus K. Rendsvig
Threshold models and their dynamics may be used to model the spread of `behaviors' in social networks. Regarding such from a modal logical perspective, it is shown how standard upd…
Turing Completeness of Finite, Epistemic Programs
Dominik Klein, Rasmus K. Rendsvig
In this note, we show the class of finite, epistemic programs to be Turing complete. Epistemic programs is a widely used update mechanism used in epistemic logic, where it such are…
Metrics for Formal Structures, with an Application to Kripke Models and their Dynamics
Dominik Klein, Rasmus K. Rendsvig
This report introduces and investigates a family of metrics on sets of pointed Kripke models. The metrics are generalizations of the Hamming distance applicable to countably infini…