A. Da Costa Oliveira: "Puzzling Ignorance: A Modal Epistemic Tour"; Supervisor: C. Fermüller; Institut für Logic and Computation, 2018; final examination: 2018-04-09.