Finite bases of admissible inference rules for modal logics of width 2

Bulletin of the Section of Logic, Tom 26, Numer 3 (1997) s. 126-134
V.V. Rimatskiy

 

do góry