Buch, Englisch, 1058 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 1603 g
Buch, Englisch, 1058 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 1603 g
ISBN: 978-94-024-0470-8
Verlag: Springer Netherlands
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Geisteswissenschaften Philosophie Wissenschaftstheorie, Wissenschaftsphilosophie
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz
- Mathematik | Informatik Mathematik Topologie
- Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
- Mathematik | Informatik Mathematik Geometrie
Weitere Infos & Material
What is Spatial Logic?.- First-Order Mereotopology.- Axioms, Algebras and Topology.- Qualitative Spatial Reasoning Using Constraint Calculi.- Modal Logics of Space.- Topology and Epistemic Logic.- Logical Theories for Fragments of Elementary Geometry.- Locales and Toposes as Spaces.- Spatial Logic + Temporal Logic = ?.- Dynamic Topological Logic.- Logic of Space-Time and Relativity Theory.- Discrete Spatial Models.- Real Algebraic Geometry and Constraint Databases.- Mathematical Morphology.- Spatial Reasoning and Ontology: Parts, Wholes, and Locations.
