[Back]


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.


Created from the Publication Database of the Vienna University of Technology.