F. Casal. Computability, Computational Complexity and Kolmogorov Complexity relative to Arithmetic Oracle. PhD thesis, Doctoral Programme in the Physics and Mathematics of Information - Information Security, IST, Universidade de Lisboa. Expected year of submission: 2017. Supervised by J. Rasga.

K. G. Roggia. Fusion of General Modal Logics Labelled with Truth Values. PhD thesis, IST, Universidade Técnica de Lisboa, 2012. Supervised by C. Sernadas and J. Rasga.