Molick, S., & 		Furtado, M.
2025 jul 20.  Tableau Calculus for Only-knowing and Abduction: A Preliminary Report. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :