Topology and Epistemic Logic

We present the main ideas behind a number of logical systems for reasoning about points and sets that incorporate knowledge-theoretic ideas, and also the main results about them. Some of our discussions will be about applications of modal ideas to topology, and some will be on applications of topological ideas in modal logic, especially in epistemic

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

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

[3]  Marcelo P Fiore,et al.  Topology via Logic , 1999 .

[4]  Rohit Parikh,et al.  The Logic of Communication Graphs , 2004, DALT.

[5]  J. C. C. McKinsey,et al.  A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology , 1941, J. Symb. Log..

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

[7]  Andrea Omicini,et al.  Declarative Agent Languages and Technologies III , 2005, Lecture Notes in Computer Science.

[8]  Bernhard Heinemann.  Regarding Overlaps in 'Topologic' , 2006, Advances in Modal Logic.

[9]  Rohit Parikh,et al.  Topological Models of Belief Logics , 2009 .

[10]  Bernhard Heinemann.  Topological Modal Logics Satisfying Finite Chain Conditions , 1998, Notre Dame J. Formal Log..

[11]  Bernhard Heinemann.  The Complexity of Certain Modal Formulas on Binary Ramified Subset Trees , 1999, Fundam. Informaticae.

[12]  Konstantinos Georgatos,et al.  Knowledge Theoretic Properties of Topological Spaces , 1992, Logic at Work.

[13]  Michael,et al.  Knowledge Representation and Uncertainty , 1994 .

[14]  Bernhard Heinemann.  A Topological Generalization of Propositional Linear Time Temporal Logic , 1997, MFCS.

[15]  Konstantinos Georgatos,et al.  Modal Logics for Topological Spaces , 2000, ArXiv.

[16]  Konstantinos Georgatos,et al.  Knowledge on Treelike Spaces , 1997, Stud Logica.

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

[18]  Rajeev Goré,et al.  Bimodal Logics for Reasoning About Continuous Dynamics , 2000, Advances in Modal Logic.

[19]  Jennifer M. Davoren,et al.  Topologies, continuity and bisimulations , 1999, RAIRO Theor. Informatics Appl..

[20]  Rohit Parikh,et al.  Completeness of Certain Bimodal Logics for Subset Spaces , 2002, Stud Logica.

[21]  Johan van Benthem,et al.  Multimo dal Logics of Products of Topologies , 2007, Stud Logica.

[22]  Konstantinos Georgatos,et al.  Reasoning about Knowledge on Computation Trees , 1994, JELIA.

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

[24]  Bernhard Heinemann.  Temporal Aspects of the Modal Logic of Subset Spaces , 1999, Theor. Comput. Sci..

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

[26]  Bernhard Heinemann,et al.  Modelling Change with the Aid of Knowledge and Time , 2001, FCT.

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