On the Proof Theory of the Modal Logic G

Leivant, Daniel2007-04-232007-04-231979-07http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR79-380https://hdl.handle.net/1813/7495NO ABSTRACT SUPPLIED324373 bytes233354 bytesapplication/pdfapplication/postscripten-UScomputer sciencetechnical reportOn the Proof Theory of the Modal Logic Gtechnical report