Hypersequent Calculi for Modal Logics Extending S4.

Hidenori Kurokawa

Published in: JSAI-isAI Workshops (2013)

Keyphrases

modal logic
sequent calculi
temporal logic
decision procedures
inference rules
nonmonotonic logics
conditional logic
classical logic
default logic
situation calculus
epistemic logic
model checking
autoepistemic logic
probabilistic reasoning
natural language
integrity constraints
dynamic programming