Modal logics for mereotopological relations.

Yavor Nenov Dimiter Vakarelov

Published in: Advances in Modal Logic (2008)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
epistemic logic
modal operators
default logic
classical logic
situation calculus
autoepistemic logic
dynamic logic
automated reasoning
spatial reasoning
propositional logic
spatial relations
cooperative