Symmetries in Modal Logics

Carlos Areces Guillaume Hoffmann Ezequiel Orbe

Published in: LSFA (2012)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
classical logic
nonmonotonic logics
symmetry breaking
conditional logic
default logic
situation calculus
dynamic logic
autoepistemic logic
artificial intelligence
reinforcement learning
multi agent