Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller. Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. In Nachum Dershowitz, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings. Volume 4790 of Lecture Notes in Computer Science, pages 77-91, Springer, 2007. [doi]
Abstract is missing.