Modal Logics for Region-based Theories of Space.

Philippe Balbiani Tinko Tinchev Dimiter Vakarelov

Published in: Fundam. Informaticae (2007)

Keyphrases

modal logic
inference rules
decision procedures
nonmonotonic logics
temporal logic
epistemic logic
modal operators
classical logic
defeasible logic
search space
sufficient conditions
situation calculus
default logic
dynamic logic