Joanna Swaczyńska, X Problem Hilberta (Tenth Hilbert's problem), 1999.
Agata Polewana, Charakteryzacja logiki intuicjonistycznej (A characterization of intuitionistic logic), 2004.
Aneta Natonik, Logiki modalne i ich modele kanoniczne (Modal logics and their canonical models), 2005.
Urszula Górnik, Twierdzenie Jónssona-Tarskiego (Jónsson-Tarski theorem), 2005.
Anna Śmieja, Własność modelu skończonego dla logik modalnych (Finite model property for modal logics), 2005.
Katarzyna Bugajska, Pełność intuicjonistycznej logiki kwantyfikatorów względem modeli Kripkego (Completeness theorem for intuitionistic first order logic with respect to Kripke semantics), 2008.
Dominika Dyląg, Endomorfizmy monadycznych algebr Boole’a (Endomorphisms of monadic Boolean algebras), 2008.
Bartłomiej Zduńczyk, Twierdzenie o interpolacji w intuicjonistycznej logice zdań (Interpolation theorem for intuitionistic propositional logic), 2008.