“A New Tableaux System for KD”. C.Q.D. - Revista Eletrônica Paulista de Matemática 19 (December 21, 2020). Accessed November 6, 2025. https://revistas.bauru.unesp.br/index.php/revistacqd/article/view/299.