Handbook of Spatial Logics by Marco Aiello (English) Hardcover Book

The Nile on eBay   FREE SHIPPING UK WIDE   Handbook of Spatial Logics by Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem

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.

FORMATHardcover LANGUAGEEnglish CONDITIONBrand New Publisher Description

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.

Table of Contents

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.

Review

From the reviews: "Logics of space, in one guise or another, have been studied for many decades. However, recently there has been a vigorous development in this area, stimulated by new applications in Computer Science and Artificial Intelligence, and more broadly by new attitudes to Logic which these disciplines have helped to foster. The Handbook of Spatial Logics will surely be a landmark publication, both defining the field, and providing a superb resource for students and researchers, specialists and visitors alike." Samson Abramsky, Strachey Professor of Computing, Oxford "Logic has been the language of choice for the study of Space since the days of Euclid's Elements. The alliance of Logic and Space has produced an enormous synergy that has both redefined these fields and deeply influenced the way we do science. Contemporary Logic--with its new, exciting tools--continues this tradition in a robust fashion, as well as adding prominent dynamic and information components to the mix. This Handbook covers the extensive, amazing new developments in spatial reasoning. It has the potential to revolutionize the field in much the same way that Analytic Geometry and Group Theory did in their time." Sergei N. Artemov, Distinguished Professor of Computer Science, Mathematics, and Philosophy New York "The geometry and dynamics of space has motivated much mathematics, but the logic of spatial concepts has spawned a relatively modest literature to date, in contrast also to the logic of time. This prodigious volume changes that picture significantly. It provides a wealth of fascinating material that will be of wide interest from formal, physical and philosophical perspectives. Many of its chapters are substantial monographs in their own right. The book will stimulate further research into ideas that are fundamental to our understanding of the world around us." Robert Goldblatt, Professor of Mathematics, Victoria University of Wellington "This collection redraws boundaries in an imaginative way. There is a common theme through all the fifteen chapters, namely that they all report interesting recent work on how to represent spatial arguments within limited formalisms. But this is hindsight; the original motivations were widely different, ranging from image processing to foundations of physics, and from computational complexity to whole-part structures. Besides making available many things that deserve to be better known, the book invites us to find the logical viewpoint that unifies them." Wilfrid Hodges, School of Mathematical Sciences, Queen Mary, University of London "Logics of time have been developed over several decades. Logics of space promise to be much harder, and this book contains many promising attempts, some of which will have applications to artificial intelligence, especially to robotic manipulation of solid objects." John McCarthy, Department of Computer Science, Stanford University "The problem of precisely understanding the relationship between spatial and logical structure has been an outstanding issue in logic, philosophy, and mathematics since at least the time of Immanuel Kant. The Logic of Space provides an up-to-date and accessible introduction to the current state of discussion of this problem in the light of recent work in logic and computer science." Michael Friedman, Department of Philosophy, Stanford University "The editors deserve congratulations for commissioning and brining together top-notch contribution on a wide variety of concern in philosophy, logic, and computing science under the rubric of spatial logic. The idea of grouping together several papers on a subfield has worked very well. The index seems adequate, and I can't think of my aspect of the subject that has been left out. Apart from being a reference, this handbook also serves to cover the entire field of spatial logics." (K. Lodaya, Computing Reviews, January, 2008) "Publishing a handbook like the present one is without doubt a very deserving achievement. ! Many leading experts could be won as contributors so that a high-level and fascinating work accrued, being frequently along the lines of a golden thread through space. The well edited book is divided into fifteen chapters ! . the work tends to be a readable textbook ! ." (Bernhard Heinemann, Zentralblatt MATH, Vol. 1172, 2009)

Long Description

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.

Review Quote

From the reviews:Logics of space, in one guise or another, have been studied for many decades. However, recently there has been a vigorous development in this area, stimulated by new applications in Computer Science and Artificial Intelligence, and more broadly by new attitudes to Logic which these disciplines have helped to foster. The Handbook of Spatial Logics will surely be a landmark publication, both defining the field, and providing a superb resource for students and researchers, specialists and visitors alike. Samson Abramsky, Strachey Professor of Computing, OxfordLogic has been the language of choice for the study of Space since the days of Euclid''s Elements. The alliance of Logic and Space has produced an enormous synergy that has both redefined these fields and deeply influenced the way we do science. Contemporary Logic--with its new, exciting tools--continues this tradition in a robust fashion, as well as adding prominent dynamic and information components to the mix. This Handbook covers the extensive, amazing new developments in spatial reasoning. It has the potential to revolutionize the field in much the same way that Analytic Geometry and Group Theory did in their time. Sergei N. Artemov, Distinguished Professor of Computer Science, Mathematics, and Philosophy New YorkThe geometry and dynamics of space has motivated much mathematics, but the logic of spatial concepts has spawned a relatively modest literature to date, in contrast also to the logic of time. This prodigious volume changes that picture significantly. It provides a wealth of fascinating material that will be of wide interest from formal, physical and philosophical perspectives. Many of its chapters are substantial monographs in their own right. The book will stimulate further research into ideas that are fundamental to our understanding of the world around us. Robert Goldblatt, Professor of Mathematics, Victoria University of WellingtonThis collection redraws boundaries in an imaginative way. There is a common theme through all the fifteen chapters, namely that they all report interesting recent work on how to represent spatial arguments within limited formalisms. But this is hindsight; the original motivations were widely different, ranging from image processing to foundations of physics, and from computational complexity to whole-part structures. Besides making available many things that deserve to be better known, the book invites us to find the logical viewpoint that unifies them. Wilfrid Hodges, School of Mathematical Sciences, Queen Mary, University of LondonLogics of time have been developed over several decades. Logics of space promise to be much harder, and this book contains many promising attempts, some of which will have applications to artificial intelligence, especially to robotic manipulation of solid objects. John McCarthy, Department of Computer Science, Stanford UniversityThe problem of precisely understanding the relationship between spatial and logical structure has been an outstanding issue in logic, philosophy, and mathematics since at least the time of Immanuel Kant. The Logic of Space provides an up-to-date and accessible introduction to the current state of discussion of this problem in the light of recent work in logic and computer science. Michael Friedman, Department of Philosophy, Stanford University"The editors deserve congratulations for commissioning and brining together top-notch contribution on a wide variety of concern in philosophy, logic, and computing science under the rubric of spatial logic. The idea of grouping together several papers on a subfield has worked very well. The index seems adequate, and I can't think of my aspect of the subject that has been left out. Apart from being a reference, this handbook also serves to cover the entire field of spatial logics." (K. Lodaya, Computing Reviews, January, 2008)Publishing a handbook like the present one is without doubt a very deserving achievement. … Many leading experts could be won as contributors so that a high-level and fascinating work accrued, being frequently along the lines of a golden thread through space. The well edited book is divided into fifteen chapters … . the work tends to be a readable textbook … . (Bernhard Heinemann, Zentralblatt MATH, Vol. 1172, 2009)

Feature

The first systematic account of the field of spatial logic Of interest to academics and graduate students working in the areas of Geometry, Topology, Logic, Computer Science and Philosophy Gathers together results on logic and geometry currently scattered over many different disciplines Each chapter is a self-contained survey of a particular topic in spatial logic

Details ISBN1402055862 Short Title HANDBK OF SPATIAL LOGICS Pages 1058 Language English ISBN-10 1402055862 ISBN-13 9781402055867 Media Book Format Hardcover Year 2007 DEWEY 516.15 Edited by Ian Pratt-Hartmann Imprint Springer-Verlag New York Inc. Place of Publication New York, NY Country of Publication United States Birth 1949 Illustrations XXI, 1058 p. DOI 10.1007/978-1-4020-5587-4 AU Release Date 2007-08-09 NZ Release Date 2007-08-09 US Release Date 2007-08-09 UK Release Date 2007-08-09 Author Johan van Benthem Publisher Springer-Verlag New York Inc. Edition Description 2007 ed. Edition 2007th Publication Date 2007-08-09 Alternative 9789402404708 Audience Further / Higher Education We've got this

At The Nile, if you're looking for it, we've got it.With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love!

30 DAY RETURN POLICY

No questions asked, 30 day returns!

FREE DELIVERY

No matter where you are in the UK, delivery is free.

SECURE PAYMENT

Peace of mind by paying through PayPal and eBay Buyer Protection TheNile_Item_ID:137771729;