1B.1 - Motivation

1B.2 - Labelling-semantics

1B.3 - Correspondence between extensions and labelings

1B.4- Arguing using proof dialogues

1B.5 - Conclusion