Manisha Jain, Alexandre Madeira, Manuel A. Martins: A Fuzzy Modal Logic for Fuzzy Transition Systems. LSFA 2019: 85-103