We think of a boundary whenever we think of an entity demarcated from its surroundings.
There is a boundary (a line) separating Maryland and Pennsylvania. There is a boundary (a …

Modal Logics for Region-based Theories of Space Introduction Page 1 Fundamenta Informaticae
81 (2007) 29–82 29 IOS Press Modal Logics for Region-based Theories of Space Philippe …

We devise three strategies for recognizing admissibility of non-standard inference rules via
interpolation, uniform interpolation, and model completions. We apply our machinery to the …

We introduce a simple modal calculus for compact Hausdorff spaces. The language of our
system extends that of propositional logic with a strict implication connective, which, as …

This chapter focuses on the topological and mereological relations, contact, and parthood,
between spatio-temporal regions as axiomatized in so-called mereotopologies. Despite, or …

Say that space is 'gunky'if every part of space has a proper part. Traditional theories of gunk,
dating back to the work of Whitehead in the early part of last century, modeled space in the …

Mereology is widely applied in STEAM and philosophy. However, serious applications tend
to be restricted to specialist groups or the nature of applications is too focused. In addition …

This is the first, out of two papers, devoted to Andrzej Grzegorczyk's point-free system of
topology from Grzegorczyk (Synthese 12 (2–3): 228–235, 1960. https://doi. org/10.1007 …

Abstract Reasoning about spatial knowledge is an important aspect of computational
intelligence. Humans easily switch between high-level and low-level spatial knowledge …

In Boolean algebras the notion of quasi-modal operator is equivalent to the notion of
precontact relation. This equivalence offers a new perspective to study the representation of …