“…Bisimulations as crisp relations have been studied for fuzzy LTSs [4,5,[29][30][31], many-valued/fuzzy modal logics [9][10][11], weighted/fuzzy automata [8,32] and fuzzy description logics [19]. Simulations as crisp relations have been studied for fuzzy LTSs [20,24,31], weighted/fuzzy automata [8,32] and fuzzy description logics [16]. Bisimulations as fuzzy relations have been studied for weighted/fuzzy automata [2,6,27], fuzzy modal logics [11,18], weighted/fuzzy social networks [12,15] and fuzzy description logics [19].…”