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 9 May 2024]. DOI 10.12775/LLP.2024.006.