MoL-2022-19: Almeida, Rodrigo Nicolau (2022) Polyatomic Logics and Generalised Blok-Esakia Theory with Applications to Orthologic and KTB. [Report]
DS-2026-14: Almeida, Rodrigo Nicolau (2026) Representations and model theory of free Heyting algebras. Doctoral thesis, University of Amsterdam.