Stephane Demri
2 artykuły w 1 czasopismach
-
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 - 491997CZYSTY TEKST
Stephane Demri, Ewa Orłowska, A class of modal logics with a finite model property with respect to the set of M-formulae, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 1, s. 39 - 49
BIBTEX@Article{ authors = " Stephane Demri, Ewa Orłowska", title = "A class of modal logics with a finite model property with respect to the set of M-formulae", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 1", pages = "39 - 49" }
-
Extensions of modal logic S5 preserving NP-completeness Opublikowano w: Bulletin of the Section of Logic 1997 / Tom 26 / Numer 2 / s. 73 - 841997CZYSTY TEKST
Stephane Demri, Extensions of modal logic S5 preserving NP-completeness, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 2, s. 73 - 84
BIBTEX@Article{ authors = " Stephane Demri", title = "Extensions of modal logic S5 preserving NP-completeness", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 2", pages = "73 - 84" }