Monadic Fragments of Gdel Logics: Decidability and Undecidability Results.

Matthias Baaz, Agata Ciabattoni, Christian G. Fermller

Browse the full LPAR paper archive.