Wyniki
-
The quarrel theorem - First attempt to the Logic of Lie
B. Majcher
Bulletin of the Section of Logic , 19 /4 (1990) s. 139-146 -
Faces of monotonicity and wisdom formulas problem
Vladimir V. Rybakov, B. Fedorishin
Bulletin of the Section of Logic , 29 /4 (2000) s. 181-192 -
A mechanized decision procedure for non-classical logics: The program KRIPKE
Michael A. McRobbie, Paul B. Thistlewaite, Robert K. Meyer
Bulletin of the Section of Logic , 9 /4 (1980) s. 189-192