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