An essay on unification and inference rules for modal logics

Bulletin of the Section of Logic, Tom 28, Numer 3 (1999) s. 145-158
Vladimir V. Rybakov, M. Terziler, C. Gencer

 

do góry