Towards a specification theory for fuzzy modal logic.

Manisha Jain, Leandro Gomes, Alexandre Madeira, Lus Soares Barbosa

Browse the full TASE paper archive.