Formula size games for modal logic and μ-calculus.

Lauri Hella Miikka Vilander

Published in: CoRR (2019)

Keyphrases

modal logic
kripke models
sequent calculus
decision procedures
temporal logic
inference rules
epistemic logic
nonmonotonic logics
classical logic
situation calculus
conditional logic
prime implicates
video games
reinforcement learning
modal operators
action theories
game theory
natural language