Tableau calculus for preference-based conditional logics: PCL and its extensions

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind

Risultato della ricerca: Contributo su rivistaArticolo in rivistapeer review

Abstract

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.

Lingua originaleInglese
Numero di articolo21
RivistaACM Transactions on Computational Logic
Volume10
Numero di pubblicazione3
DOI
Stato di pubblicazionePubblicato - 1 apr 2009

Fingerprint

Entra nei temi di ricerca di 'Tableau calculus for preference-based conditional logics: PCL and its extensions'. Insieme formano una fingerprint unica.

Cita questo