Geometric Public Announcement Logics
暂无分享,去创建一个
[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 .