Model-Characterizing Formulas and Normal Forms in Godel Logics | IEEE Conference Publication | IEEE Xplore