Abstract Argumentation & Modal Logic