F. Casal. Combining Satisfiability Procedures and Probabilistic Satisfiability. PhD thesis in Information Security, IST, U. Lisboa, 2018. Supervised by J. Rasga.

K. G. Roggia. Fusion of General Modal Logics Labelled with Truth Values. PhD thesis in Mathematics, IST, U. T. Lisboa, 2012. Supervised by C. Sernadas and J. Rasga.