Spatial logic of tangled closure operators and modal mu-calculus.

Robert Goldblatt Ian M. Hodkinson

Published in: Ann. Pure Appl. Log. (2017)

Keyphrases

modal logic
closure operator
transition systems
spatial information
tableau calculus
modal operators
closed sets
logic programming
inference rules
knowledge base
high dimensional
data model
query language
multi dimensional
spatial data