Tommaso Moraschini

PhD Students

6. F. Manfucci. An algebraic approach to conditional logic. University of Barcelona. In progress. Cosupervised with T. Flaminio.

5. M. Kurtzhals. Definability in logic and algebra. University of Barcelona. In progress. Cosupervised with L. Carai.

4. V. Giustarini. Substructural logics and residuated structures. University of Barcelona. In progress. Cosupervised with S. Ugolini.

3. M. Martins. Bi-intuitionistic logics of trees. University of Barcelona. In progress. Cosupervised with J. Gispert.

2. D. Fornasiere. Relational methods in algebraic logic. University of Barcelona, 2025. Cosupervised with J. Gispert. (pdf)

1. J.J. Wannenburg. Varieties of De Morgan monoids. University of Pretoria, 2020. Cosupervised with J.G. Raftery. (pdf)

Master Students

17. P. Rodriguez. Theories of finite trees. University of Barcelona. In progress.

16. M. Ramirez. Finite basis theorems and congruence distributive quasivarieties. University of Barcelona. In progress. Cosupervised with A. Prenosil.

15. I.M. Liberal. Reiterman‘s theorem for pseudovarieties. University of Barcelona, 2024. Cosupervised with R. Horcik. (pdf)

14. I. Hortelano. Inconsistency Lemmas and The Inconsistency by Cases Property. University of Barcelona, 2024. Cosupervised with S. Ugolini. (pdf)

13. M. Muñoz. Meet-irreducible elements in the poset of all logics. University of Barcelona, 2024. (pdf)

12. M. Kurtzhals. Epimorphism Surjectivity in Logic and Algebra. University of Barcelona, 2024. Cosupervised with L. Carai. (pdf)

11. S. Cristancho. Unification in intuitionistic logic. University of Barcelona, 2024. Cosupervised with A. Vidal. (pdf)

10. S. Lemal. Hereditary structural completeness of weakly transitive modal logics. ILLC, University of Amsterdam. Cosupervised with N. Bezhanishvili. (pdf)

9. R. Almeida. Polyatomic Logics and Generalised Blok-Esakia Theory with Applications to Orthologic and KTB. ILLC, University of Amsterdam. Cosupervised with N. Bezhanishvili. (pdf)

8. A. Chernev. Degrees of FMP in extensions of bi-intuitionistic logic. ILLC, University of Amsterdam. Cosupervised with N. Bezhanishvili. (pdf)

7. J. Carr. Hereditary Structural Completeness over K4 revisited. ILLC, University of Amsterdam. Cosupervised with N. Bezhanishvili. (pdf)

6. A. Dmitrieva. Positive modal logic beyond distributivity. ILLC, University of Amsterdam. Cosupervised with N. Bezhanishvili. (pdf)

5. L. Tasiou. Profinite bi-Heyting algebras. University of Amsterdam. Cosupervised with N. Bezhanishvili. (pdf)

4. D. Fornasiere. Representable Forests and Diamond Systems. ILLC, University of Amsterdam. Cosupervised with N. Bezhanishvili. (pdf)

3. M. Martins. Bi-Godel algebras and co-trees. University of Amsterdam. Cosupervised with N. Bezhanishvili. (pdf)

2. J. Herrera. Inconsistency lemmas: an algebraic approach. University of Barcelona. Cosupervised with R. Jansana. (pdf)

1. T. Benjamins. Locally finite varieties of Heyting algebras of width 2. ILLC, University of Amsterdam. Cosupervised with N. Bezhanishvili. (pdf)