Intuitionistic implication in some non-classical modal logics of type S4

Bulletin of the Section of Logic, Tom 12, Numer 1 (1983) s. 2-7
Josep Maria Font

 

do góry