On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. - Leandro Gomes 001; Alexandre Madeira; Manisha Jain; Luís Soares Barbosa (ICFEM, 2019)

A Fuzzy Modal Logic for Fuzzy Transition Systems. - Manisha Jain; Alexandre Madeira; Manuel A. Martins 001 (LSFA, 2019)

Towards a specification theory for fuzzy modal logic. - Manisha Jain; Leandro Gomes 001; Alexandre Madeira; Luís Soares Barbosa (TASE, 2021)