A. Rapberger: "Connecting Formal Logics and Argumentation Systems"; Supervisor: C. Fermüller; Institut für Logic and Computation, 2018; final examination: 2018-07-13.