Degauquier, V. (2018) “Useful Four-Valued Extension of the Temporal Logic KtT4”, Bulletin of the Section of Logic, 47(1), pp. 15–31. doi: 10.18778/0138-0680.47.1.02.