A class of modal logics with a finite model property with respect to the set of M-formulae

Bulletin of the Section of Logic, Tom 26, Numer 1 (1997) s. 39-49
Stephane Demri, Ewa Orłowska

 

do góry