Degauquier, Vincent. “Useful Four-Valued Extension of the Temporal Logic KtT4”. Bulletin of the Section of Logic 47, no. 1 (March 30, 2018): 15–31. Accessed April 26, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/3904.