Degauquier V. Useful Four-Valued Extension of the Temporal Logic KtT4. B Sect Log. 2018;47(1):15–31. doi:10.18778/0138-0680.47.1.02