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 |