Stephane Demri
2 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A class of modal logics with a finite model property with respect to the set of M-formulae Opublikowano w: Bulletin of the Section of Logic 1997 / Tom 26 / Numer 1 / s. 39 - 49ROK: 1997CZYSTY TEKSTBIBTEX
-
Extensions of modal logic S5 preserving NP-completeness Opublikowano w: Bulletin of the Section of Logic 1997 / Tom 26 / Numer 2 / s. 73 - 84ROK: 1997CZYSTY TEKSTBIBTEX
