PP-2009-24: Doing Argumentation Theory in Modal Logic

PP-2009-24: Grossi, Davide (2009) Doing Argumentation Theory in Modal Logic. [Report]

[img]
Preview
Text (Full Text)
PP-2009-24.text.pdf

Download (665kB) | Preview
[img] Text (Abstract)
PP-2009-24.abstract.txt

Download (677B)
[img]
Preview
Text (Full Text (Jun 2009 version))
PP-2009-24.text-Jun-2009.pdf

Download (1MB) | Preview

Abstract

The present paper applies well-investigated modal logics to provide formal foundations to specific fragments of argumentation theory. This logic-driven analysis of argumentation allows: first, to systematize several results of argumentation theory reformulating them within suitable formal languages; second, to import several techniques (calculi, model-checking, evaluation games, bisimulation games); third, to import results (eminently completeness of axiomatizations, and complexity of model-checking) from modal logic to argumentation theory.

Item Type: Report
Report Nr: PP-2009-24
Series Name: Prepublication (PP) Series
Year: 2009
Uncontrolled Keywords: argumentation theory; modal logic; applied logic
Subjects: Logic
Depositing User: dgrossi1
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/354

Actions (login required)

View Item View Item