On Sequent Systems for Bimodal Provability Logics MOS and PRL1

Bulletin of the Section of Logic, Tom 31, Numer 2 (2002) s. 91-101
Katsumi Sasaki

 

do góry