Degauquier, Vincent. 2018. “Useful Four-Valued Extension of the Temporal Logic KtT4”. Bulletin of the Section of Logic 47 (1):15–31. https://doi.org/10.18778/0138-0680.47.1.02.