Barbara Bojarska: Matematyka i logika intuicjonistyczna a ich relacja z psychologizmem na podstawie analizy tekstu „Life, Art and Mysticism” Luitzena Egbertusa Jana Brouwera
Aleksandra Draszewska: Knowability paradox in the light of Intuitionistic Epistemic Logic
Bartosz Paśka: Analiza modalności definowalnych w logice wielowartościowej Łukasiewicza
Łukasz Abramowicz: Second-order ecumenical propositional logic with identity
Justyna Buczek: Pojęcia identyczności i rozróżnialności w świetle logiki i filozofii nauki
Aleksandra Draszewska: Prawda i fałsz nie istnieją na zewnątrz naszych głów
Dawid Czech: Dedukcja naturalna i rachunek lambda dla logiki Gödla-Dummett’a
Piotr Rożnowski: Teoria dowodu dla logiki Godla-Dummetta – rachunki sekwentowe i hipersekwentowe
Jagoda Sateja: Computational Content of Intuitionistic Logic
Marta Gawek: Proof search in Normal Modal Logics in Labelled Sequent Calculus. A Haskell implementation