publicações selecionadas artigo de conferência Towards a specification theory for fuzzy modal logic 2021 capítulo de livro On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. Computational Methods in Applied Sciences. 2019