Subset Space Public Announcement Logic Revisited
Adam Bjorndahl · arXiv (Cornell University) · 2013
By a modification of the central definition given in [1], we provide semantics for public annoucements in subset spaces. We argue that these revised semantics improve on the original, and we provide a simple sound and complete axiomatization of the resulting logic. 1