Wyniki
-
A simpler proof of Sahlqvist's theorem on completeness of modal logics
Giovanni Sambin
Bulletin of the Section of Logic , 9 /2 (1980) s. 50-56
Giovanni Sambin
Bulletin of the Section of Logic
, 9
/2
(1980)
s. 50-56