Argumentation in the View of Modal Logic [chapter]

Davide Grossi
2011 Lecture Notes in Computer Science  
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 games, bisimulation games); third, to import results (completeness of axiomatizations, complexity of model-checking, adequacy of games)
more » ... rom modal logic to argumentation theory. * modalarg.tex,
doi:10.1007/978-3-642-21940-5_12 fatcat:6cg2jhhl7zcrbil2kizo7un5my