Stefano Guerrini, Andrea Masini, Margherita Zorzi. Natural deduction calculi for classical and intuitionistic S5. Journal of Applied Non-Classical Logics, 33(2):165-205, April 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.