Grounded Consequence for Defeasible Logic examina a noção de consequência fundamentada em lógica defeasible, com foco em semânticas formais e propriedades de inferência.

O autor explora estruturas de provas e métodos de construção de modelos para lógica não monotônica. A análise inclui condições de fundamentação e comparações entre diferentes formalismos.

O texto fornece ferramentas conceituais e resultados que informam estudos sobre propriedades de inferência defeasible e aplicações formais.