Coniglio, M. E.; Figallo, M. Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic. LLP 2024, 33, 171-203.