A Finite Model Property for Gödel Modal Logics

Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger. A Finite Model Property for Gödel Modal Logics. In Nikolaos Galatos, Alexander Kurz, Constantine Tsinakis, editors, TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013. Volume 25 of EPiC Series, pages 183-186, EasyChair, 2013. [doi]

Abstract

Abstract is missing.