Modal logics of some geometrical structures.

Ilya Shapirovsky

Published in: Probl. Inf. Transm. (2007)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
nonmonotonic logics
classical logic
default logic
cooperative
reinforcement learning
np complete
multi agent
partially ordered
conditional logic
autoepistemic logic
modal operators