Szukaj
Wyświetlanie pozycji 1-2 z 2
On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)
This is the first, out of two papers, in which we identify all logics between C1 and S5 having the same theses without iterated modalities. All these logics canbe divided into certain groups. Each such group depends only ...
On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)
This is the second, out of two papers, in which we identify all logics between C1 and S5 having the same theses without iterated modalities. All these logics can be divided into certain groups. Each such group depends only ...