Formal Analysis of Dialogues on Infinite Argumentation Frameworks