-
8Axiomatic theory of betweennessArchive for Mathematical Logic 60 (1): 227-239. 2020.Betweenness as a relation between three individual points has been widely studied in geometry and axiomatized by several authors in different contexts. The article proposes a more general notion of betweenness as a relation between three sets of points. The main technical result is a sound and complete logical system describing universal properties of this relation between sets of vertices of a graph.
-
University of SouthamptonRegular Faculty
Areas of Specialization
Doxastic and Epistemic Logic |