Coniglio ME, Figallo M. Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic. LLP [Internet]. 2024 Jan. 26 [cited 2025 Dec. 19];33(2):171-203. Available from: https://apcz.umk.pl/LLP/article/view/42397