Tableau calculus for preference-based conditional logics
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla B. Schwind · ACM Transactions on Computational Logic · 2009
We present a tableau calculus for some fundamental systems of propositional conditional logics. We consider the conditional logics that can be characterized by preferential semantics (i.e., possible world structures equipped with a family of preference relations). For these logics, we provide a uniform completeness proof of the axiomatization with respect to the semantics, and a uniform labeled tableau procedure.