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