A new tableaux system for KD. C.Q.D. - Revista Eletrônica Paulista de Matemática, Bauru, v. 19, 2020. Disponível em: https://revistas.bauru.unesp.br/index.php/revistacqd/article/view/299. Acesso em: 6 nov. 2025.