论文信息 - A Spatial Logic of Betweenness

A Spatial Logic of Betweenness

In this paper, I present a region-based spatial logic of the ternary betweenness relation. I provide semantics and a complete axiomatization of this first-order theory.

Mehmet Giritli

[1] Laure Vieu,et al. Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology , 1995, IJCAI.

[2] Van de M. L. J. Vel. Theory of convex structures , 1993 .

[3] Anthony G. Cohn,et al. A Spatial Logic based on Regions and Connection , 1992, KR.