Springer Verlag (2007)

Authors
Johan Van Benthem
University of Amsterdam
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, 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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Buy this book $85.95 used (83% off)   $95.46 new (81% off)   Amazon page
ISBN(s) 1402055862   9402404708
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 68,944
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
Chapters BETA

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Finitism in Geometry.Jean-Paul Van Bendegem - 2002 - Stanford Encyclopedia of Philosophy.
Logics for Extended Distributive Contact Lattices.T. Ivanova - 2018 - Journal of Applied Non-Classical Logics 28 (1):140-162.

View all 12 citations / Add more citations

Similar books and articles

Spatial Reasoning and Ontology: Parts, Wholes, and Locations.Achille C. Varzi - 2007 - In Marco Aiello, Ian E. Pratt-Hartmann & Johan van Benthem (eds.), Handbook of Spatial Logics. Springer Verlag. pp. 945-1038.
A ModalWalk Through Space.Marco Aiello & Johan van Benthem - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):319-363.
Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning.Isabelle Bloch - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):399-423.
Relational Proof Systems for Spatial Reasoning.Joanna Golińska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):409-431.
Advances in the ŁΠ and Logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.
Combining Algebraizable Logics.A. Jánossy, Á Kurucz & Á. E. Eiben - 1996 - Notre Dame Journal of Formal Logic 37 (2):366-380.
Spatial Directions, Anisotropy and Special Relativity.Marco Mamone Capria - 2011 - Foundations of Physics 41 (8):1375-1397.
A Universal Logic Approach to Adaptive Logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
Dynamic Logics of Belief Change', ILLC Amsterdam, to Appear in The.J. van Benthem - forthcoming - Journal of Applied Non-Classical Logics.
Disorders of Spatial Orientation.A. L. Benton - 1969 - In P. Vinken & G. Bruyn (eds.), Handbook of Clinical Neurology. North Holland. pp. 3--212.

Analytics

Added to PP index
2014-10-09

Total views
1 ( #1,538,224 of 2,498,019 )

Recent downloads (6 months)
1 ( #428,301 of 2,498,019 )

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.

My notes