Keyword:Gödel logic

Publications
Gödel logics and the fully boxed fragment of LTL Matthias Baaz and Norbert Preining In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Finite Model Property for Gödel Modal Logics Xavier Caicedo, George Metcalfe, Ricardo Rodriguez and Jonas Rogger In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Gödel logics with an operator shifting truth values Matthias Baaz and Oliver Fasching In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.