Logics of Space with Connectedness Predicates: Complete Axiomatizations.

Tinko Tinchev Dimiter Vakarelov

Published in: Advances in Modal Logic (2010)

Keyphrases

expressive power
connected components
data sets
low dimensional
modal logic
search space
decision procedures
database
information retrieval
database systems
space time
user defined
higher dimensional
conditional logic