Handbook of spatial logics
The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic.
| Other Authors: | Aiello, Marco., Pratt-Hartmann, Ian., Benthem, Johan van, 1949-, SpringerLink (Online Service) |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer,
©2007.
|
| Physical Description: |
1 online resource (xxi, 1058 pages) : illustrations. |
| Subjects: |
Table of Contents:
- Preface; Contributing Authors; Second Readers xxi; Chpater 1 What is Spatial Logic?; Chapter 2 First-Order Mereotopology; Chapter 3 Axioms, Algebras and Topology; Chpater 4 Qualitative Spatial Reasoning Using Constraint Calculi; Chapter 5 Modal Logics of Space; Chapter 6 Topology and Epistemic Logic; Chapter 7 Logical Theories for Fragments of Elementary Geometry; Chapter 8 Locales and Toposes as Spaces; Chapter 9 Spatial Logic + Temporal Logic =?; Chapter 10 Dynamic Topological Logic; Chapter 11 Logic of Space-Time and Relativity Theory; Chapter 12 Discrete Spatial Models.