DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics.

Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann

Browse the full TABLEAUX paper archive.