@inproceedings{metcalfeolivetti2009,
	title     = {Proof Systems for a Gödel Modal Logic},
	author    = {G. Metcalfe and N. Olivetti},
	year      = {2009},
	editor    = {M. Giese and A. Waaler},
	volume    = {5607},
	pages     = {265--279},
	publisher = {Springer},
	series    = {LNAI},
	booktitle = {Proceedings of TABLEAUX 2009},
	state     = {published}
}