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