Spatial logics with connectedness predicates

DOI10.2168/LMCS-6(3:7)2010zbMath1201.68115MaRDI QIDQ2786121

Ian Pratt-Hartmann, Frank Wolter, Roman Kontchakov, Michael Zakharyashchev

Publication date: 21 September 2010

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

computational complexityconnectednesstopological spacespatial logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27)

Related Items (4)

Contact Logic is Finitary for Unification with Constants ⋮ Relational representation theorems for extended contact algebras ⋮ What is nominalistic mereology? ⋮ Extended contact algebras and internal connectedness

This page was built for publication: Spatial logics with connectedness predicates