2.1 - Motivation

2.2 - Labelling-semantics

2.3 - Correspondence between extensions and labelings

2.4- Arguing using proof dialogues

2.5 - Conclusion