DEGAUQUIER, V. Useful Four-Valued Extension of the Temporal Logic KtT4. Bulletin of the Section of Logic, [S. l.], v. 47, n. 1, p. 15–31, 2018. DOI: 10.18778/0138-0680.47.1.02. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/3904. Acesso em: 20 apr. 2024.