Mereotopology is the discipline obtained from combining topology with the formal study of parts and their relation to wholes, or mereology. This article develops a mereotopological theory of time, illustrating how different temporal topologies can be effectively discriminated on this basis. Specifically, we demonstrate how the three principal types of temporal models—namely, the linear ones, the forking ones, and the circular ones—can be characterized by differently combining two sole mereotopological constraints: one to denote the absence of closed loops, and the other one to denote the absence of branches.
"The Mereotopology of Time." Notre Dame J. Formal Logic 60 (2) 215 - 252, May 2019. https://doi.org/10.1215/00294527-2019-0005