by JohanvanBenthem (Editor), Marco Aiello (Editor), IanPratt-Hartmann (Editor)
The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. 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.
Format: Hardcover
Pages: 1058
Edition: 1
Publisher: Springer
Published: 09 Aug 2007
ISBN 10: 1402055862
ISBN 13: 9781402055867