Topics in Subset Space Logic

[1]  An Examination of Counterexamples in Proofs and Refutations , 2009 .

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

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

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

[5]  C. Guarneri.  Cornell University Press , 1991 .

[6]  J. Hintikka.  Knowledge and belief , 1962 .

[7]  S. Vickers.  Topology via Logic , 1989 .

[8]  Peter Gärdenfors,et al.  Knowledge in Flux , 1988 .

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

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

[11]  Rohit Parikh,et al.  Reasoning about Communication Graphs , 2007 .

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

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

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

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

[16]  Boris Konev,et al.  Dynamic topological logics over spaces with continuous functions , 2006, Advances in Modal Logic.

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

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

[19]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

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

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

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

[23]  J. Benthem,et al.  Logics of communication and change , 2006 .

[24]  Bernhard Heinemann.  An application of monodic first-order temporal logic to reasoning about knowledge , 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..

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

[26]  Philip Kremer,et al.  Dynamic topological logic , 2005, Ann. Pure Appl. Log..

[27]  I. Lakatos.  PROOFS AND REFUTATIONS (I)*† , 1963, The British Journal for the Philosophy of Science.

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

[29]  Alessandro Facchini,et al.  Aspects of Universal Logic , 2004 .