scientific article; zbMATH DE number 5241969

zbMath1142.03012MaRDI QIDQ5445158

Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov

Publication date: 3 March 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

region-based theory of spacecontact relationscontinuous models of spacediscrete models of spacemodal logic of space

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Related Items (max. 100)

Dynamic contact algebras and quantifier-free logics for space and time ⋮ Admissibility and Unifiability in Contact Logics ⋮ Boolean logics with relations ⋮ Boolean Logics with Relations ⋮ Unnamed Item ⋮ Subordinations on bounded distributive lattices ⋮ Topology and measure in logics for region-based theories of space ⋮ Valueless measures on pointless spaces ⋮ Logics for extended distributive contact lattices ⋮ Logics for stable and unstable mereological relations ⋮ Contact Logic is Finitary for Unification with Constants ⋮ Distributive mereotopology: extended distributive contact lattices ⋮ 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 ⋮ What is nominalistic mereology? ⋮ Extended contact algebras and internal connectedness ⋮ Dynamic logics of the region-based theory of discrete spaces ⋮ A strict implication calculus for compact Hausdorff spaces ⋮ Contact join-semilattices ⋮ Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras ⋮ Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I

This page was built for publication: