Coniglio, Marcelo E., and Martin Figallo. “Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic”. Logic and Logical Philosophy 33, no. 2 (January 26, 2024): 171–203. Accessed August 16, 2024. https://apcz.umk.pl/LLP/article/view/42397.