A Finite Model Property for Gdel Modal Logics.

Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodrguez, Jonas Rogger

Browse the full WoLLIC paper archive.