Coniglio, Marcelo E., and Martin Figallo. “Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic”. Logic and Logical Philosophy, vol. 33, no. 2, Jan. 2024, pp. 171-03, doi:10.12775/LLP.2024.006.