Loading...
Please wait, while we are loading the content...
Similar Documents
Analytic tableau calculi for klm logics of. (2006).
| Content Provider | CiteSeerX |
|---|---|
| Author | Giordano, Laura Gliozzi, Valentina Olivetti, Nicola Pozzato, Gian Luca |
| 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. |
| File Format | |
| Publisher Date | 2006-01-01 |
| Access Restriction | Open |
| Subject Keyword | Decision Procedure Nonmonotonic Reasoning Klm Logic Tableau Calculus Conditional Assertion Suitable Modality Rational Logic Tableau Proof Procedure |
| Content Type | Text |