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

Robert Goldblatt Ian M. Hodkinson

Published in: CoRR (2016)

Keyphrases

modal logic
transition systems
closure operator
spatial information
tableau calculus
logic programming
data sets
spatial data
temporal logic
description logics
fixed point
inference rules
closed sets
modal operators