Degauquier, V. Useful Four-Valued Extension of the Temporal Logic KtT4. B Sect Log 2018, 47, 15–31.