Geometric Public Announcement Logics.
Can Başķent · The Florida AI Research Society · 2011
In this paper, we give completeness of public announcement logic in geometric models: topological models and subset space logic. Then, we apply our ideas to model stabilization in topological models and backward induction scheme in game theory. The moral of the paper is to pursue the distingushing properties of geometrical models further and observe how they interact with the aforementioned notions.