"A finite model property for gödel modal logics" (2013) Caicedo, X.; Metcalfe, G.; Rodríguez, R.; Rogger, J. 20th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2013. 8071 LNCS:226-237
10.1007/978-3-642-39992-3-20
paper_03029743_v8071LNCS_n_p226_Caicedo