Coniglio, Marcelo E., and Martin Figallo. 2024. “Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic”. Logic and Logical Philosophy 33 (2):171-203. https://doi.org/10.12775/LLP.2024.006.