Lopes, Bruno, CecĂ­lia Englander, Fernanda Lobo, & Marcela Cruz. " Revisiting the proof theory of Classical S4." O que nos faz pensar [Online], 25.39 (2016): 71-86. Web. 28 May. 2022