Monadic Fragments of Gödel Logics: Decidability and Undecidability Results (2007)

by M Baaz, A Ciabattoni, C G Fermüller
Venue:Proceedings of LPAR’2007. LNAI 4790