A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations.

Alberto Artosi, Guido Governatori, Antonino Rotolo

Browse the full TABLEAUX paper archive.