13 citations · 20 across the 2 of their papers we have counts for
2 papers
cs.LO2017★ 7 cited
Logic and Topology for Knowledge, Knowability, and Belief - Extended Abstract
Adam Bjorndahl, Aybüke Özgün
In recent work, Stalnaker proposes a logical framework in which belief is realized as a weakened form of knowledge. Building on Stalnaker's core insights, and using frameworks deve…
cs.LO2016★ 13 cited
Announcement as effort on topological spaces
Hans van Ditmarsch, Sophia Knight, Aybüke Özgün
We propose a multi-agent logic of knowledge, public and arbitrary announcements, that is interpreted on topological spaces in the style of subset space semantics. The arbitrary ann…