Handbook of Spatial Logics

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.