Skip to main content

Proofnets for the modal logic S5

Greg Restall ( University of Melbourne )

Share this: