A Uniform Tableaux Method for Nonmonotonic Modal Logics.

Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati

Browse the full JELIA paper archive.