A simpler proof of Sahlqvist's theorem on completeness of modal logics

Bulletin of the Section of Logic, Tom 9, Numer 2 (1980) s. 50-56
Giovanni Sambin

 

do góry