The following pages link to A Logic of Abstract Argumentation (Q3623901):
Displayed 6 items.
- A logic of argumentation for specification and verification of abstract argumentation frameworks (Q1935593) (← links)
- On interactive proof-search for constructive modal necessity (Q2133450) (← links)
- Meta-argumentation modelling. I: Methodology and techniques (Q2269509) (← links)
- A logical account of formal argumentation (Q2269515) (← links)
- A QBF-based formalization of abstract argumentation semantics (Q2446545) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)