Towards a Proof Theory of Gödel Modal Logics
Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-7(2:10)2011
Full Text
Open PDFAbstract
Available in full text
Date
May 17, 2011
Authors
Publisher
Logical Methods in Computer Science e.V.
Available in full text
May 17, 2011
Logical Methods in Computer Science e.V.