Fermüller, Monadic Fragments of Gödel Logics: Decidability and Undecidability Results, Logic for (0)

by M Baaz, A Ciabattoni, C G
Venue:Programming, Artificial Intelligence, and Reasoning - 14th International Conference, LPAR 2007