Analytic Tableau for Default Logics

Contents

Following the approach to Reiter’s default logic, this paper attempts to define a general tableaux-based framework for the computation of the extensions for several known default logics. The idea is to qualify the differences between the variants under considcration inside a single process that can switch easily from one variant to another. Indeed, the approach is related to the idea of the compilation of default theories.