A Modal Walk Through Space

Marco Aiello, Johan van Benthem

Modal Logics for Parallelism, Orthogonality, and Affine Geometries - Philippe Balbiani, Valentin Goranko

Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning

Isabelle Bloch

Axiomatizing Distance Logics

Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev

A Topological Constraint Language with Component Counting - Ian Pratt-Hartmann

A Canonical Model of the Region Connection Calculus

Jochen Renz

Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic

Paolo Torrini, John G. Stell, Brandon Bennett

A Proximity Approach to Some Region-Based Theories of Space - Dimiter Vakarelov, Georgi Dimov, Ivo Düntsch, Brandon Bennett