Coniglio, M. E., & Figallo, M. (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