PP-2009-24: Grossi, Davide (2009) Doing Argumentation Theory in Modal Logic. [Report]
Preview |
Text (Full Text)
PP-2009-24.text.pdf Download (665kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2009-24.abstract.txt Download (677B) |
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 |
