A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf
.
A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations
[chapter]
2000
Lecture Notes in Computer Science
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possible world semantics for conditional logic. The label formalism KEM , introduced to account for the semantics of normal modal logics, is easily adapted to the semantics of conditional logic by simply indexing labels with formulas. The inference rules are provided by the propositional system KE + -a tableau-like analytic proof
doi:10.1007/10722086_10
fatcat:m3tskadk4jclrd3amltcsuprui