Overview
- Semantics and proof theory in classical logic
- Semantic constraints and rules of inference for rules
- Reiter's extensions
- Dialogical proof theory
- Semantics vs. proof theory for defeasible argumentation
Previous slide
Next slide
Back to first slide
View graphic version