Topo-logic as a dynamic-epistemic logic
From MaRDI portal
Publication:1679771
DOI10.1007/978-3-662-55665-8_23zbMath1496.03069OpenAlexW2748449991MaRDI QIDQ1679771
Aybüke Özgün, Alexandru Baltag, Ana Lucia Vargas-Sandoval
Publication date: 22 November 2017
Full work available at URL: https://doi.org/10.1007/978-3-662-55665-8_23
Related Items (7)
Arbitrary public announcement logic with memory ⋮ Unnamed Item ⋮ The epistemology of nondeterminism ⋮ Reusing topological nexttime logic ⋮ A simplicial complex model for dynamic epistemic logic to study distributed task computability ⋮ A dynamic logic for learning theory ⋮ Announcement as effort on topological spaces
This page was built for publication: Topo-logic as a dynamic-epistemic logic
