On Hallden-completeness of intermediate and modal logics

Bulletin of the Section of Logic, Tom 19, Numer 1 (1990) s. 21-24
A.V. Chagrov, M.V. Zakharyashchev

 

do góry