Joanna Swaczyńska, X Problem Hilberta, 1999.

Agata Polewana, Charakteryzacja logiki intuicjonistycznej, 2004.

Aneta Natonik, Logiki modalne i ich modele kanoniczne, 2005.

Urszula Górnik,  Twierdzenie Jónssona-Tarskiego, 2005.

Anna Śmieja, Własność modelu skończonego dla logik modalnych, 2005.

Katarzyna Bugajska, Pełność intuicjonistycznej logiki kwantyfikatorów względem modeli Kripkego, 2008.

Dominika Dyląg, Endomorfizmy monadycznych algebr Boole’a, 2008.

Bartłomiej Zduńczyk, Twierdzienie o interpolacji w intuicjonistycznej logice zdań, 2008.

Anna Glenszczyk, Wybrane sposoby dowodzenia rozstrzygalności logik modalnych, 2010

Agnieszka Gabrysiak, Teorie modelowo zupełne, 2011

Krzysztof Wańczura Amalgamacja i jej zastosowania, 2011

Piotr Helbin, Niezależność Hipotezy Continuum, 2012,

Magdalena Świtała, Filtracja dla logik modalnych i jej zastosowania, 2018