3 citations · 7 across the 5 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
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…
cs.FL2017★ 3 cited
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…
math.LO2017★ 2 cited
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…