A Sequent Calculus and a Theorem Prover for Standard Conditional Logics

Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind

In this paper we present a cut-free sequent calculus, called SeqS, for some standard conditional logics, namely CK, CK+ID, CK+MP and CK+MP+ID. The calculus uses labels and transiti…