Geometric Public Announcement Logics

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.

[1]  Johan van Benthem,et al.  Modal Logics of Space , 2007, Handbook of Spatial Logics.

[2]  Robert Goldblatt,et al.  Mathematical modal logic: A view of its evolution , 2003, J. Appl. Log..

[3]  Chris Mortensen Topological Separation Principles And Logical Theories , 2004, Synthese.

[4]  Andreas Herzig,et al.  ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ , 2008, The Review of Symbolic Logic.

[5]  Lawrence S. Moss,et al.  Topological Reasoning and the Logic of Knowledge , 1996, Ann. Pure Appl. Log..

[6]  Johan van Benthem,et al.  "ONE IS A LONELY NUMBER": LOGIC AND COMMUNICATION , 2006 .

[7]  Rohit Parikh Finite and Infinite Dialogues , 1992 .

[8]  Lawrence S. Moss,et al.  Logics for Epistemic Programs , 2004, Synthese.

[9]  Jan van Eijck,et al.  Logics of communication and change , 2006, Inf. Comput..

[10]  Johan van Benthem,et al.  Modal logics for product topologies , 2006 .

[11]  W. Hoek,et al.  Dynamic Epistemic Logic , 2007 .

[12]  Johan van Benthem,et al.  Reasoning About Space: The Modal Way , 2003, J. Log. Comput..

[13]  A. Tarski,et al.  On Closed Elements in Closure Algebras , 1946 .

[14]  Joseph Y. Halpern Substantive Rationality and Backward Induction , 1998, Games Econ. Behav..

[15]  Johan van Benthem,et al.  Game Solution, Epistemic Dynamics and Fixed-Point Logics , 2010, Fundam. Informaticae.

[16]  Lawrence S. Moss,et al.  Topology and Epistemic Logic , 2007, Handbook of Spatial Logics.

[17]  Andreas Herzig,et al.  What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability , 2007, TARK '07.

[18]  A. Tarski,et al.  The Algebra of Topology , 1944 .

[19]  K. Jon Barwise,et al.  Three Views of Common Knowledge , 1988, TARK.

[20]  R. Aumann Backward induction and common knowledge of rationality , 1995 .

[21]  Can Baskent Paraconsistency and Topological Semantics , 2011, ArXiv.

[22]  Darko Sarenac,et al.  The Geometry of Knowledge , 2003 .

[23]  Can Baskent,et al.  Topics in Subset Space Logic , 2010 .