AAAI Publications, Twenty-Fourth International FLAIRS Conference

Font Size: 
Geometric Public Announcement Logics
Can Baskent

Last modified: 2011-03-20


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.

Full Text: PDF