Pandzic, Stipe

English

The main goal of this paper is to argue that justification logic advances the formal study of default reasons. After introducing a variant of justification logic with default reasons, we first show how the logic can be used to model undercutting attacks and exclusionary reasons. Then we compare this logic to Reiter’s default logic interpreted as an argumentation framework. The comparison is done by analyzing differences in the way in which process trees are built for the two logics

Dissertations of the University of Groningen

Reifying default reasons in justification logic

https://pure.rug.nl/ws/files/122580508/Pandzic_Stipe_Reifying_default_reasons_in_justification_logic.pdf

Reifying default reasons in justification logic

Abstract

Similar works

Full text

Available Versions

Dissertations of the University of Groningen