From Frame Properties to Hypersequent Rules in Modal Logics.

Published in: LICS (2013)

Keyphrases

modal logic
decision procedures
inference rules
nonmonotonic logics
temporal logic
classical logic
situation calculus
association rules
video frames
default logic
epistemic logic
kripke models