Diploma and Master Theses (authored and supervised):
S. Pavlovic:
"Proof Theory for Modal Logics: Embedding between Hypersequent Calculi and Systems of Rules";
Supervisor: A. Ciabattoni;
Institut für Logic and Computation,
2018;
final examination: 2018-10-15.