Wyniki
-
Extensions of modal logic S5 preserving NP-completeness
Stephane Demri
Bulletin of the Section of Logic , 26 /2 (1997) s. 73-84 -
A class of modal logics with a finite model property with respect to the set of M-formulae
Stephane Demri, Ewa Orłowska
Bulletin of the Section of Logic , 26 /1 (1997) s. 39-49