Affiliations: Department of Computer Science, The Graduate Center, The City University of New York, 365 Fifth Avenue, New York, NY 10016, USA, [email protected] www.canbaskent.net
Note: [] Address for correspondence: Department of Computer Science, The Graduate Center, The City University of New York, 365 Fifth Avenue, New York, NY 10016, USA
Abstract: In this paper, we introduce public announcement logic in different geometric frameworks. First, we consider topological models, and then extend our discussion to a more expressive model, namely, subset space models. Furthermore, we prove the completeness of public announcement logic in those frameworks. After that, we apply our results to different issues: announcement stabilization, backward induction and persistence.
Keywords: Public Announcement Logic, Topological Semantics, Subset Space Logic, Backward Induction
