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

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

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

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

Download (677B)
[thumbnail of Full Text (Jun 2009 version)]
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