| 26.10.2013 | Sławomir Kost, Uogólnienie konstrukcji modelu uniwersalengo dla wybranych logik modalnych nad S4 i ich fuzji |
| 08.11.2013 | Wojciech Dzik, |
| 15.11.2013 | Tomasz Połacik, Złożoność fragmentów logiki intuicjonistycznej |
| 22.11.2013 | Zofia Kostrzycka, Logiki modelne zupełne w sensie Haldena |
| 29.11.2013 | Anna Glenszczyk, Spolaryzowana Logika Intuicjonistyczna |
| 6.12.2013 | Anna Bień, Wyznacznik macierzy incydencji dla siatek heksagonalnych |
| 13.12.2013 | Beniamin Wróbel, Nieunifikowalność w produkcie systemu S5 |
| 20.12.2013 | Sławomir Kost, Kraty logik bimodalnych, I |
| 10.01.2014 | Sławomir Kost, Kraty logik bimodalnych, II |
| 17.01.2014 | Sławomir Kost, Kraty logik bimodalnych, III |
| 24.01.2014 | Małgorzata Kruszelnicka, Logika intuicjonistyczna z silną negacją |
| 21.02.2014 | Małgorzata Kruszelnicka, Kolapsy modeli Kripkego dla logik modalnych, I |
| 28.02.2014 | Małgorzata Kruszelnicka, Kolapsy modeli Kripkego dla logik modalnych, II |
| 28.02.2014 | Wojciech Dzik, Krata operacji konsekwencji nad logiką S4.3 |
| 7.03.2014 | Wojciech Dzik, Krata normalnych rozszerzeń logiki S4.3 |
| 4.04.2014 | Zofia Kostrzycka, Przeliczalnie wiele zupełnych w sensie Posta normalnych logik modalnych z dodatkową stałą |
| 11.04.2014 | Anna Bień, Using modal logic to express and check global graph properties (Berevides, Schechter), omówienie artykułu | 25.04.2014 | Anna Bień, Logika hybrydowa CTL* | 16.05.2014 | Zofia Kostrzycka, | 23.05.2014 | Tomasz Połacik, Gry dla logiki intuicjonistycznej (P. Urzyczyn) omówienie artykułu |