Publication:5445158
From MaRDI portal
zbMath1142.03012MaRDI QIDQ5445158
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
Publication date: 3 March 2008
region-based theory of space; contact relations; continuous models of space; discrete models of space; modal logic of space
Related Items
Unnamed Item, Logics for extended distributive contact lattices, Distributive mereotopology: extended distributive contact lattices, Boolean logics with relations, Logics for stable and unstable mereological relations, What is nominalistic mereology?, Dynamic contact algebras and quantifier-free logics for space and time, Topology and measure in logics for region-based theories of space, Relational representation theorems for extended contact algebras, A system of relational syllogistic incorporating full Boolean reasoning, A calculus of regions respecting both measure and topology, Extended contact algebras and internal connectedness, A strict implication calculus for compact Hausdorff spaces, Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I, Contact Logic is Finitary for Unification with Constants, Admissibility and Unifiability in Contact Logics, Boolean Logics with Relations, Dynamic logics of the region-based theory of discrete spaces