Graphical Sequent Calculi for Modal Logics.

Minghui Ma Ahti-Veikko Pietarinen

Published in: M4M@ICLA (2017)

Keyphrases

modal logic
sequent calculi
temporal logic
conditional logic
inference rules
decision procedures
epistemic logic
nonmonotonic logics
classical logic
situation calculus
model checking
default logic
artificial intelligence
data exchange
modal operators