A Useful Four-Valued Extension of the Temporal Logic KtT4

Bulletin of the Section of Logic, Tom 47, Numer 1 (2018) s. 15-32
Vincent Degauquier

 

do góry