ISBN:
9781402055874
Language:
English
Pages:
Online-Ressource
,
v.: digital
Edition:
Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
Keywords:
Science Logic, Symbolic and mathematical
;
Computer science
;
Artificial intelligence
;
Geometry
;
Topology
;
Philosophy (General)
;
Logic, Symbolic and mathematical
;
Raum
;
Mathematische Logik
Abstract:
Johan Benthem
Abstract:
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, descr
Description / Table of Contents:
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
Description / Table of Contents:
Chapter 13 Real Algebraic Geometry and Constriaint DatabasesChapter 14 Mathematical Morphology; Chapter 15 Spatial Resoning and Ontology: Parts, Wholes, and Locations; Index
Note:
Includes bibliographical references and index
,
Electronic reproduction; Available via World Wide Web
DOI:
10.1007/978-1-4020-5587-4
URL:
Volltext
(lizenzpflichtig)
Permalink