Subframe Formulas for S4-type Intuitionistic Modal Logic

Bulletin of the Section of Logic, Tom 30, Numer 2 (2001) s. 99-105
Kazuyo Inoi

 

do góry