M. Baaz, A. Ciabattoni, C. Fermüller: "Monadic fragments of Gödel logics: decidability and undecidability"; Lecture Notes in Computer Science, 4790 (2007), 77 - 91.