Gentzen sequent calculi for some intuitionistic modal logics.

Zhe Lin Minghui Ma

Published in: Log. J. IGPL (2019)

Keyphrases

cut elimination
modal logic
sequent calculus
sequent calculi
inference rules
temporal logic
decision procedures
nonmonotonic logics
classical logic
natural deduction
linear logic
epistemic logic
situation calculus
default logic
conditional logic
proof search
wide class
machine learning
theorem proving