Handbook of Spatial Logics
-14 %
download
Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt.

Handbook of Spatial Logics

 eBook
Sofort lieferbar| Lieferzeit:3-5 Tage I

Unser bisheriger Preis:ORGPRICE: 466,95 €

Jetzt 403,41 €*

ISBN-13:
9781402055874
Einband:
eBook
Seiten:
1058
Autor:
Marco Aiello
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Sprache:
Englisch
Beschreibung:
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.
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.