Correction to: Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic.

Martín Figallo

Published in: Stud Logica (2022)

Keyphrases

sequent calculus
modal logic
cut elimination
inference rules
natural deduction
temporal logic
decision procedures
classical logic
epistemic logic
nonmonotonic logics
linear time temporal logic
situation calculus
theorem proving
proof search
default logic
theorem prover
kripke models
prime implicates
semi supervised