Modal Logics for Region-based Theories of Space

Issue title: Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk

Article type: Research Article

Authors: Balbiani, Philippe | Tinchev, Tinko | Vakarelov, Dimiter

Affiliations: Institut de recherche en informatique de Toulouse, Université Paul Sabatier, 118 route de Narbonne, F-31062 Toulouse, Cedex 9, France. E-mail: [email protected] | Faculty of Mathematics and Informatics, Sofia University, 5 James Bourchier Blvd, 1164 Sofia, Bulgaria. E-mail: {tinko,dvak}@fmi.uni-sofia.bg

Abstract: We dedicate this paper to Professor Andrzej Grzegorczyk. His paper "Axiomatization of geometry without points" [20] is one of the first contributions to the region-based theory of space.

Keywords: Modal logic of space, region-based theory of space, contact relations, discrete models of space, continuous models of space

Journal: Fundamenta Informaticae, vol. 81, no. 1-3, pp. 29-82, 2007