Wyniki
-
On Theses without Iterated Modalities of Modal Logics Between C1 and S5 : Part 2
Anrzej Pietruszczak
Bulletin of the Section of Logic , 46 /3-4 (2017) s. 197-218 -
An Algorithm for Finding Finite Axiomatization of Finite Intermediate Logics by Means of Jankov Formulas
Eugeniusz Tomaszewski
Bulletin of the Section of Logic , 31 /1 (2002) s. 1-6