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 -
Podstawa
Stephane du Chateau, Robert Krier
Arché : kultura, twórczość, krytyka , 7 /11/12 (1997) s. 60-61 -
Definicja życia : krótka historia nieuchwytnego przedsięwzięcia naukowego
Stephane Tirard, Michel Morange, Antonio Lazcano
Scripta Philosophica. Zeszyty Naukowe Doktorantów Wydziału Filozofii KUL 1 (2012) s. 105-126