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.

P. Baltazar. Probabilization of Logic Systems. PhD thesis, IST, Universidade Técnica de Lisboa, 2010. Supervised by P. Mateus and C. Sernadas.

J. Rasga. Fibring Labelled First-order Based Logics. PhD thesis, IST, Universidade Técnica de Lisboa, 2003. Supervised by C. Sernadas.

P. Mateus. Interconnection of Probabilistic Systems. PhD thesis, IST, Universidade Técnica de Lisboa, 2000. Supervised by A. Sernadas and C. Sernadas.

P. Gouveia. Raciocínio Abdutivo sobre Especificações Temporais de Objectos (Abductive Reasoning over Temporal Specifications of Objects). PhD thesis, IST, Universidade Técnica de Lisboa, 1998. Supervised by C. Sernadas.