Logic-Based Approaches To Formal Argumentation

We study the logical foundations of Dung-style argumentation frameworks. Logic-based methods in the context of argumentation theory are described from two perspectives: (a) a survey of logic-based instantiations of argumentation frameworks, their properties and relations, and (b) a review of logical methods for the study of argumentation dynamics. In this chapter we restrict ourselves to Tarskian logics, based on (propositional) languages and corresponding (constructive) semantics or syntactic rule-based systems.