Handbook of Spatial Logics

  • Marco Aiello
  • Ian Pratt-Hartmann
  • Johan Van Benthem

Table of contents

  1. Front Matter
    Pages I-XXI
  2. Marco Aiello, Ian Pratt-Hartmann, Johan Van Benthem
    Pages 1-11
  3. Ian Pratt-Hartmann
    Pages 13-97
  4. Brandon Bennett, Ivo Düntsch
    Pages 99-159
  5. Jochen Renz, Bernhard Nebel
    Pages 161-215
  6. Johan van Benthem, Guram Bezhanishvili
    Pages 217-298
  7. Rohit Parikh, Lawrence S. Moss, Chris Steinsvold
    Pages 299-341
  8. Philippe Balbiani, Valentin Goranko, Ruaan Kellerman, Dimiter Vakarelov
    Pages 343-428
  9. Steven Vickers
    Pages 429-496
  10. Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
    Pages 497-564
  11. Philip Kremer, Grigori Mints
    Pages 565-606
  12. Hajnal Andréka, Judit X. Madarász, István Németi
    Pages 607-711
  13. Michael B. Smyth, Julian Webster
    Pages 713-798
  14. Floris Geerts, Bart Kuijpers
    Pages 799-856
  15. Isabelle Bloch, Henk Heijmans, Christian Ronse
    Pages 857-944
  16. Back Matter
    Pages 1039-1058

About this book


A spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and relations, broadly construed. In the past decade, spatial logics have attracted much attention in response to developments in such diverse fields as Artificial Intelligence, Database Theory, Physics, and Philosophy. The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises a general introduction, followed by fourteen chapters by invited authors. Each chapter provides a self-contained overview of its topic, describing the principal results obtained to date, explaining the methods used to obtain them, and listing the most important open problems. Jointly, these contributions constitute a comprehensive survey of this rapidly expanding subject.


Geometry Spatial Logics Spatial Reasoning Topology artificial intelligence formal language intelligence logic ontology

Editors and affiliations

  • Marco Aiello
    • 1
  • Ian Pratt-Hartmann
    • 2
  • Johan Van Benthem
    • 3
  1. 1.University of GroningenThe Netherlands
  2. 2.University of ManchesterUK
  3. 3.University of AmsterdamThe Netherlands

Bibliographic information