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