An explicit basis for rules admissible in modal system S4

Bulletin of the Section of Logic, Tom 28, Numer 3 (1999) s. 135-144
Vladimir V. Rybakov

 

do góry