Cut-Free Indexed Calculi for Modal Logics Containing the Barcan Axiom.

Aida Pliuskeviciene

Published in: Advances in Modal Logic (1996)

Keyphrases

modal logic
sequent calculi
inference rules
temporal logic
decision procedures
conditional logic
classical logic
epistemic logic
situation calculus
default logic
reinforcement learning
nonmonotonic logics
autoepistemic logic
logical framework
sequent calculus