CONIGLIO, Marcelo E. and FIGALLO, Martin. Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic. Logic and Logical Philosophy. Online. 26 January 2024. Vol. 33, no. 2, pp. 171-203. [Accessed 8 July 2025]. DOI 10.12775/LLP.2024.006.