CONIGLIO, Marcelo E.; FIGALLO, Martin. Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic. Logic and Logical Philosophy, [S. l.], v. 33, n. 2, p. 171–203, 2024. DOI: 10.12775/LLP.2024.006. Disponível em: https://apcz.umk.pl/LLP/article/view/42397. Acesso em: 23 feb. 2025.