DMCA
Tableau Calculi for KLM Logics: extended version (2007)
by
Laura Giordano
,
Valentina Gliozzi
,
Nicola Olivetti
,
Gian Luca Pozzato
| Citations: | 1 - 1 self |
BibTeX
@MISC{Giordano07tableaucalculi,
author = {Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Gian Luca Pozzato},
title = {Tableau Calculi for KLM Logics: extended version},
year = {2007}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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 preferential, loop-cumulative, cumulative and rational logics. Our calculi are obtained by introducing suitable modalities to interpret conditional assertions. We provide a decision procedure for the logics considered, and we study their complexity. 1
