2 papers
cs.LO2006
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning
Laura Giordano, Valentina Gliozzi, Nicola Olivetti +1
We present tableau calculi for some logics of nonmonotonic reasoning, as defined by Kraus, Lehmann and Magidor. We give a tableau proof procedure for all KLM logics, namely prefere…
cs.LO2004
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…