| 19.10.2012 |
Wojciech Dzik, Reprezentacja algebr Heytinga z
operatorami Galois I |
| 26.10.2012 |
Wojciech Dzik, Reprezentacja algebr Heytinga z
operatorami Galois II |
| 9.11.2012 |
Małgorzata Kruszelnicka, Logiki i gry epistemiczne
I |
| 16.11.2012 |
Małgorzata Kruszelnicka, Logiki i gry epistemiczne
II |
| 23.11.2012 |
Małgorzata Kruszelnicka, Logiki i gry epistemiczne
III |
| 30.11.2012 |
Sławomir Kost, Problem kanoniczności logik modalnych
I |
| 7.12.2012 |
Sławomir Kost, Problem kanoniczności logik modalnych
II |
| 14.12.2012 |
Tomasz Połacik, Konserwatywność teorii
pierwszego rzędu, I |
| 21.12.2012 |
Tomasz Połacik, Konserwatywność teorii
pierwszego rzędu, II |
| 4.1.2013 |
Beniamin Wróbel, Zagadnienie (nie)unifikowalności w
systemie (S5,S5)
|
| 11.1.2013 |
Anna Glenszczyk, Spolaryzowana logika intuicjonistyczna
|
| 18.1.2013 |
Sławomir Kost, Problem (nie))kanoniczności logiki (S5,S5)
|
| 25.1.2013 |
Małgorzata Kruszelnicka, Logika intuicjonistyczna z silną negacją,
|
| 22.2.2013 |
Małgorzata Kruszelnicka, Bisimulacja dla logiki intuicjonistycznej z silną negacją, I
|
| 1.3.2013 |
Wojciech Dzik, Reprezentacja pewnych algebr opartych na kratach z odpowiedniościami Galois w terminach zbiorów przybliżonych
|
| 22.3.2013 |
Sławomir Kost, Modele logiki (S4.3.Grz,S4.3.Grz)
|
| 5.4.2013 |
Małgorzata Kruszelnicka, Bisymulacja dla logiki intuicjonistycznej z silną negacją, II
|
| 12.4.2013 |
Wojciech Dzik, Operacje konsekwencji nad logiką S4.3
|
| 19.4.2013 |
Anna Glenszczyk, Problem złożoności obliczeniowej logiki ICL
|
| 29.4.2013 |
Beniamin Wróbel,
|