Handbook of Spatial Logics 2007

• Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem:
  What is Spatial Logic? 1-11
  Electronic Edition (link) BibTeX
• Ian Pratt-Hartmann:
  First-Order Mereotopology. 13-97
  Electronic Edition (link) BibTeX
• Brandon Bennett, Ivo Düntsch:
  Axioms, Algebras and Topology. 99-159
  Electronic Edition (link) BibTeX
• Jochen Renz, Bernhard Nebel:
  Qualitative Spatial Reasoning Using Constraint Calculi. 161-215
  Electronic Edition (link) BibTeX
• Johan van Benthem, Guram Bezhanishvili:
  Modal Logics of Space. 217-298
  Electronic Edition (link) BibTeX
• Rohit Parikh, Lawrence S. Moss, Chris Steinsvold:
  Topology and Epistemic Logic. 299-341
  Electronic Edition (link) BibTeX
• Philippe Balbiani, Valentin Goranko, Ruaan Kellerman, Dimiter Vakarelov:
  Logical Theories for Fragments of Elementary Geometry. 343-428
  Electronic Edition (link) BibTeX
• Steven Vickers:
  Locales and Toposes as Spaces. 429-496
  Electronic Edition (link) BibTeX
• Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
  Spatial Logic + Temporal Logic = ?. 497-564
  Electronic Edition (link) BibTeX
• Philip Kremer, Grigori Mints:
  Dynamic Topological Logic. 565-606
  Electronic Edition (link) BibTeX
• Hajnal Andréka, Judit X. Madarász, István Németi:
  Logic of Space-Time and Relativity Theory. 607-711
  Electronic Edition (link) BibTeX
• Michael B. Smyth, Julian Webster:
  Discrete Spatial Models. 713-798
  Electronic Edition (link) BibTeX
• Floris Geerts, Bart Kuijpers:
  Real Algebraic Geometry and Constraint Databases. 799-856
  Electronic Edition (link) BibTeX
• Isabelle Bloch, Henk J. A. M. Heijmans, Christian Ronse:
  Mathematical Morphology. 857-944
  Electronic Edition (link) BibTeX
• Achille C. Varzi:
  Spatial Reasoning and Ontology: Parts, Wholes, and Locations. 945-1038
  Electronic Edition (link) BibTeX