Degauquier V. Useful Four-Valued Extension of the Temporal Logic KtT4. B Sect Log [Internet]. 2018 Mar. 30 [cited 2024 Apr. 25];47(1):15–31. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/3904