Conditional and Preferential Logics have been applied in order to formalize nonmonotonic reasoning. In spite of their significance, very few proof methods have been proposed for these logics. In my PhD thesis, whose content is summarized in this paper, I have tried to partially overwhelm this gap, by introducing sequent and tableau calculi for Conditional and Preferential Logics.
Proof Methods for Conditional and Preferential Logics of Nonmonotonic Reasoning
POZZATO, GIAN LUCA
2008-01-01
Abstract
Conditional and Preferential Logics have been applied in order to formalize nonmonotonic reasoning. In spite of their significance, very few proof methods have been proposed for these logics. In my PhD thesis, whose content is summarized in this paper, I have tried to partially overwhelm this gap, by introducing sequent and tableau calculi for Conditional and Preferential Logics.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
