LEADER 03523nam a22006015i 4500
001 811422
003 TR_AnAIT
005 20260131010151
007 cr nn 008mamaa
008 100301s2007 ne | s |||| 0|eng d
020 |a9781402055874|9978-1-4020-5587-4
024 7 |a10.1007/978-1-4020-5587-4|2doi
041 |aeng
049 |aTürk Tarih Kurumu Kütüphanesi
050 4|aQ174-175.3
050 4|aB67
072 7|aPDA|2bicssc
072 7|aSCI075000|2bisacsh
072 7|aPDA|2thema
082 04|a501|223
090 |aDK/12683
245 10|aHandbook of Spatial Logics|h[electronic resource] /|cedited by Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem.
250 |a1st ed. 2007.
264 1|aDordrecht :|bSpringer Netherlands :|bImprint: Springer,|c2007.
300 |aXXI, 1058 p.|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|aScience|xPhilosophy.
650 0|aMathematical logic.
650 0|aGeometry.
650 0|aMachine theory.
650 0|aTopology.
650 0|aArtificial intelligence.
650 14|aPhilosophy of Science.
650 24|aMathematical Logic and Foundations.
650 24|aGeometry.
650 24|aFormal Languages and Automata Theory.
650 24|aTopology.
650 24|aArtificial Intelligence.
700 1 |aAiello, Marco.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
700 1 |aPratt-Hartmann, Ian.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
700 1 |aBenthem, Johan van.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
710 2 |aSpringerLink (Online service)
773 0 |tSpringer Nature eBook
776 08|iPrinted edition:|z9781402055867
776 08|iPrinted edition:|z9789048111640
776 08|iPrinted edition:|z9789402404708
856 40|uhttps://doi.org/10.1007/978-1-4020-5587-4
912 |aZDB-2-SHU
912 |aZDB-2-SXPR
950 |aHumanities, Social Sciences and Law (SpringerNature-11648)
950 |aPhilosophy and Religion (R0) (SpringerNature-43725)