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 |