| 13.10.2017 | Tomasz Witczak, Semantyka otoczeniowa dla pewnej intuicjonistycznej logiki modalnej |
| 27.10.2017 | Tomasz Połacik, Second order intuitionistic propositional lovic of the real line is decidable I. (K. Zdanowski) |
| 10.11.2017 | Tomasz Połacik, Second order intuitionistic propositional lovic of the real line is decidable II. (K. Zdanowski) |
| 17.11.2017 | Tomasz Połacik, Second order intuitionistic propositional lovic of the real line is decidable III. (K. Zdanowski) |
| 24.11.2017 | Tomasz Witczak, Własność modelu skończonego dla logiki L1 |
| 1.12.2017 | Tomasz Połacik, Localizing Finite-Depth Kripke Models (M. Mojtahedi) |
| 12.01.2018 | Tomasz Witczak, Neighbourhood Semantics for intuitionistic modal logic |
| 19.01.2018 | Anna Glenszczyk, Semantyczne badania intuicjonistycznej logiki kontrolnej |
| 26.01.2018 | Anna Bień, Gamma-grafy stonóg |
| 23.02.2018 | Tomasz Witczak, Intuitionistic modal logic based on neighbourhood semantics without superset axiom |
| 2.03.2018 | Tomasz Witczak, Dodatkowe warunki dla semantyk otoczeniowych |
| 16.03.2018 | Sprawy organizacyjne |
| 23.03.2017 | Tomasz Połacik, Wprowadzenie do teorii logik relewantnych |
| 6.04.2018 | Anna Bień, Algorytmy wyszukiwania gamma-zbiorów w drzewach |
| 13.04.2018 | Tomasz Witczak, A new version of an old modal incompleteness theorem(J. Vosmaer) |
| 18.05.2018 | Sprawy organizacyjne |