The paper analyses dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic ...
Missing: 1. | Show results with:1.
The paper analyses dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic ...
Abstract. The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic ...
The paper analyses dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic ...
Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic1 · Dominik KleinR. K. Rendsvig. Computer Science, Philosophy. J. Log ...
Sep 1, 2017 · Abstract:The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which ...
Missing: Turing completeness
Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic1. Dominik Klein, Rasmus K Rendsvig. https://doi.org/10.1093/logcom ...
Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic (bibtex) by Dominik Klein and Rasmus K. Rendsvig
Missing: 1. | Show results with:1.
Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic1. J. Log. Comput. 30(6): 1213-1238 (2020). [c10]. view. electronic ...
Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic ... D Klein, RK Rendsvig. The Journal of Symbolic Logic, 1-22, 2017. 5 ...