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.