13 citations · 27 across the 11 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.PL2016
Proceedings 9th Interaction and Concurrency Experience
Massimo Bartoletti, Ludovic Henrio, Sophia Knight +1
This volume contains the proceedings of ICE 2016, the 9th Interaction and Concurrency Experience, which was held in Heraklion, Greece on the 8th and 9th of June 2016 as a satellite…
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…