Molick, Sanderson, and Manuella Furtado.
" Tableau Calculus for Only-knowing and Abduction: A Preliminary Report." <em>Anais do VI Workshop Brasileiro de Lógica,
Maceió/AL, 2025</em>. SBC, 2025,  
pp.9-15.