Wyniki
-
A Useful Four-Valued Extension of the Temporal Logic KtT4
Vincent Degauquier
Bulletin of the Section of Logic , 47 /1 (2018) s. 15-32
Vincent Degauquier
Bulletin of the Section of Logic
, 47
/1
(2018)
s. 15-32