A Finite Model Property for Gödel Modal Logics [chapter]

Xavier Caicedo, George Metcalfe, Ricardo Rodríguez, Jonas Rogger
2013 Lecture Notes in Computer Science  
doi:10.1007/978-3-642-39992-3_20 fatcat:g5c3e66o4vaqvpwihtixo4qncm