2017

Prace licencjackie

• D. Lewisa i J. Hintikki koncepcje relacji dostępności w semantykach światów możliwych
• Rachunek lambda i jego rola w powstaniu współczesnego komputera

2016

Prace licencjackie

• Motywy powstania Algebry Boole'a
• Metoda a wyrażalność niektórych twierdzeń o świecie według Traktatu Logiczno-Filozoficznego Ludwiga Wittgensteina

Prace magisterskie

• Filozoficzne założenia logicznego kognitywizmu

2015

Prace licencjackie

• Logika indukcyjna w ujęciu Jaakko Hintikki
• Założenia filozoficzne logicyzmu w filozofii matematyki
• Znaczenie logiki dla filozofii w rozumieniu o.J.M. Bocheńskiego

Prace magisterskie

• ANALIZA WYRAŻALNOŚCI ZWIĄZKÓW LOGICZNYCH W POLSKIM JĘZYKU MIGOWYM