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