Book Chapter

Proofnets for S5: sequents and circuits for modal logic

G RESTALL

Logic Colloquium 2005 | Cambridge University Press | Published : 2008