Handbook of Spatial Logics 2007

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