MNiBLoS: A SMT-based solver for continuous t-norm based logics and some of their modal expansions | Publicación