A logic of abstract argumentation