Modal logics of closed domains on Minkowski plane.

Ilya Shapirovsky

Published in: J. Appl. Non Class. Logics (2007)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
epistemic logic
classical logic
situation calculus
three dimensional
default logic
modal operators
real world
distance transform
theorem proving