2007

Handbook of Spatial Logics

Editors:

ISBN: 978-1-4020-5586-7 (Print) 978-1-4020-5587-4 (Online)

Table of contents (15 chapters)

  1. Front Matter

    Pages I-XXI

  2. No Access

    Book Chapter

    Pages 1-11

    What is Spatial Logic?

  3. No Access

    Book Chapter

    Pages 13-97

    First-Order Mereotopology

  4. No Access

    Book Chapter

    Pages 99-159

    Axioms, Algebras and Topology

  5. No Access

    Book Chapter

    Pages 161-215

    Qualitative Spatial Reasoning Using Constraint Calculi

  6. No Access

    Book Chapter

    Pages 217-298

    Modal Logics of Space

  7. No Access

    Book Chapter

    Pages 299-341

    Topology and Epistemic Logic

  8. No Access

    Book Chapter

    Pages 343-428

    Logical Theories for Fragments of Elementary Geometry

  9. No Access

    Book Chapter

    Pages 429-496

    Locales and Toposes as Spaces

  10. No Access

    Book Chapter

    Pages 497-564

    Spatial Logic + Temporal Logic = ?

  11. No Access

    Book Chapter

    Pages 565-606

    Dynamic Topological Logic

  12. No Access

    Book Chapter

    Pages 607-711

    Logic of Space-Time and Relativity Theory

  13. No Access

    Book Chapter

    Pages 713-798

    Discrete Spatial Models

  14. No Access

    Book Chapter

    Pages 799-856

    Real Algebraic Geometry and Constraint Databases

  15. No Access

    Book Chapter

    Pages 857-944

    Mathematical Morphology

  16. No Access

    Book Chapter

    Pages 945-1038

    Spatial Reasoning and Ontology: Parts, Wholes, and Locations

  17. Back Matter

    Pages 1039-1058