The Craig Interpolation Theorem in multi-modal logics

Bulletin of the Section of Logic, Tom 24, Numer 3 (1995) s. 147-154
Judit Madarasz

 

do góry