000			03188nam a22005415i 4500
001			978-1-4020-5587-4
003			DE-He213
005			20251006084523.0
007			cr nn 008mamaa
008			100301s2007 ne | s |||| 0|eng d
020			_a9781402055874
020			_a99781402055874
024	7		_a10.1007/978-1-4020-5587-4 _2doi
082	0	4	_a501 _223
100	1		_aAiello, Marco. _eeditor.
245	1	0	_aHandbook of Spatial Logics _h[electronic resource] / _cedited by Marco Aiello, Ian Pratt-Hartmann, Johan Benthem.
264		1	_aDordrecht : _bSpringer Netherlands, _c2007.
300			_bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
505	0		_aWhat 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.
520			_aA 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.
650		0	_aPHILOSOPHY (GENERAL).
650		0	_aSCIENCE _xPHILOSOPHY.
650		0	_aCOMPUTER SCIENCE.
650		0	_aARTIFICIAL INTELLIGENCE.
650		0	_aGEOMETRY.
650		0	_aLOGIC, SYMBOLIC AND MATHEMATICAL.
650		0	_aTOPOLOGY.
650	1	4	_aPHILOSOPHY.
650	2	4	_aPHILOSOPHY OF SCIENCE.
650	2	4	_aMATHEMATICAL LOGIC AND FOUNDATIONS.
650	2	4	_aGEOMETRY.
650	2	4	_aMATHEMATICAL LOGIC AND FORMAL LANGUAGES.
650	2	4	_aTOPOLOGY.
650	2	4	_aARTIFICIAL INTELLIGENCE (INCL. ROBOTICS).
700	1		_aPratt-Hartmann, Ian. _eeditor.
700	1		_aBenthem, Johan. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9781402055867
856	4	0	_uhttp://dx.doi.org/10.1007/978-1-4020-5587-4 _zVer el texto completo en las instalaciones del CICY
912			_aZDB-2-SHU
942			_2ddc _cER
999			_c61345 _d61345