Cut-free Double Sequent Calculus for S5.

Andrzej Indrzejczak

Published in: Log. J. IGPL (1998)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
natural deduction
modal logic
linear time temporal logic
first order logic
sufficient conditions
learning algorithm
theorem prover
theorem proving