Wyniki
-
The interpolation, Hallden-completeness, Robinson and Beth properties in modal logics
Anna Wójtowicz
Bulletin of the Section of Logic , 26 /2 (1997) s. 67-72 -
A non-standard approach to autoepistemic logic
Anna Gomolińska
Bulletin of the Section of Logic , 21 /1 (1992) s. 21-27 -
Cycles in Nielsen's Graphs
Anna Bień
Bulletin of the Section of Logic , 39 /1-2 (2010) s. 57-64 -
Monadic Fragments of Intuitionistic Control Logic
Anna Gleńszczyk
Bulletin of the Section of Logic , 45 /3-4 (2016) s. 143-154 -
A note on relationship between the consequence operations Cn' and dCn
Anna Gomolińska, Justyna K. Myślińska
Bulletin of the Section of Logic , 29 /1-2 (2000) s. 63-67 -
Pseudo-BCI-Logic
Grzegorz Dymek, Anna Kozanecka-Dymek
Bulletin of the Section of Logic , 42 /1-2 (2013) s. 33-42