Decidable Term-Modal Logics.

Eugenio Orlandelli, Giovanna Corsi

Browse the full EUMAS paper archive.