"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
Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (+54 9 11) 5285-7400