13 citations · 30 across the 4 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 10 cited
Logic and Topology for Knowledge, Knowability, and Belief
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…