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