@article{lmcs:972,
    title      = {Towards a Proof Theory of G\"odel Modal Logics},
    author     = {George Metcalfe and Nicola Olivetti},
    url        = {https://lmcs.episciences.org/972},
    doi        = {10.2168/LMCS-7(2:10)2011},
    journal    = {Logical Methods in Computer Science},
    issn       = {1860-5974},
    volume     = {Volume 7, Issue 2},
    eid        = 10,
    year       = {2011},
    month      = {May},
    keywords   = {Mathematics - Logic, Computer Science - Logic in Computer Science, cs.LO},
}