Show simple item record

Proofnets for S5: sequents and circuits for modal logic

dc.contributor.authorRESTALL, G
dc.contributor.editorDimitracopoulos, C
dc.contributor.editorNewelski, L
dc.contributor.editorNormann, D
dc.contributor.editorSteel, J
dc.date.available2014-05-22T04:02:48Z
dc.date.issued2008
dc.identifier.citationRESTALL, G. (2008). Proofnets for S5: sequents and circuits for modal logic. Dimitracopoulos, C (Ed.). Newelski, L (Ed.). Normann, D (Ed.). Steel, J (Ed.). Logic Colloquium 2005, (1), pp.151-172. Cambridge University Press.
dc.identifier.isbn9780521884259
dc.identifier.urihttp://hdl.handle.net/11343/31712
dc.publisherCambridge University Press
dc.subjectPhilosophy
dc.titleProofnets for S5: sequents and circuits for modal logic
dc.typeChapter
melbourne.peerreviewPeer Reviewed
melbourne.affiliationThe University of Melbourne
melbourne.affiliation.departmentPhilosophy, Anthropology and Social Inquiry
melbourne.source.titleLogic Colloquium 2005
melbourne.source.pages151-172
dc.description.sourceedition1
melbourne.publicationid90722
melbourne.elementsid296936
pubs.edition1
melbourne.contributor.authorRestall, Gregory
melbourne.accessrightsOpen Access


Files in this item

Thumbnail
Name:
Restall_281272_90722.pdf
Size:
1.770Mb
Format:
PDF
Description:
Proofnets for S5: sequents and ...
Download

This item appears in the following Collection(s)

Show simple item record