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