![](/img/cover-not-exists.png)
Logic Colloquium 2005 || Proofnets for S5: Sequents and circuits for modal logic
Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.Volume:
10.1017/CB
Year:
2007
DOI:
10.1017/CBO9780511546464.012
File:
PDF, 405 KB
2007