Public Announcement Logic in Geometric Frameworks

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.

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

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

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

[4]  Dmitry Sustretov,et al.  Modal languages for topology: Expressivity and definability , 2006, Ann. Pure Appl. Log..

[5]  Robert Stalnaker.  On the evaluation of solution concepts , 1994 .

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

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

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

[9]  Paul Walker,et al.  Zermelo and the Early History of Game Theory , 2001, Games Econ. Behav..

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

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

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

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

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

[15]  Can Baskent.  Geometric Public Announcement Logics , 2011, FLAIRS Conference.

[16]  Wiebe van der Hoek,et al.  Dynamic Epistemic Logic and Knowledge Puzzles , 2007, ICCS.

[17]  D. Gabbay,et al.  Many-Dimensional Modal Logics: Theory and Applications , 2003 .

[18]  S. Artemov.  Rational decisions in non-probabilistic settings , 2009 .

[19]  Johan van Benthem,et al.  Rational Dynamics and Epistemic Logic in Games , 2007, IGTR.

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

[21]  Jelle Gerbrandy,et al.  Dynamic epistemic logic , 1998 .

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

[23]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

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

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

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

[27]  Guram Bezhanishvili,et al.  Some Results on Modal Axiomatization and Definability for Topological Spaces , 2005, Stud Logica.

[28]  Guram Bezhanishvili,et al.  Completeness of S4 with respect to the real line: revisited , 2005, Ann. Pure Appl. Log..

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

[30]  Barteld Kooi,et al.  Dynamic Epistemic Logic , 2013 .

[31]  Barteld P. Kooi,et al.  Expressivity and completeness for public update logics via reduction axioms , 2007, J. Appl. Non Class. Logics.

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

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

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

[35]  Bruce Elliott.  One is a Lonely Number , 2012 .

[36]  J. Gerbrandy.  Bisimulations on Planet Kripke , 1999 .

[37]  Intelligent Players , 1976 .

[38]  R. Aumann.  Agreeing to disagree. , 1976, Nature cell biology.

[39]  Richard C. Jeffrey,et al.  Knowledge, Belief, and Counterfactual Reasoning in Games , 1999 .

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

[41]  Robert Stalnaker,et al.  Belief revision in games: forward and backward induction 1 Thanks to the participants in the LOFT2 m , 1998 .

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