Symmetries in Modal Logics.

Carlos Areces Ezequiel Orbe

Published in: Bull. Symb. Log. (2015)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
classical logic
epistemic logic
conditional logic
default logic
situation calculus
dynamic programming
symmetry breaking
knowledge base
reinforcement learning
dynamic logic