Pages that link to "Item:Q1648774"
From MaRDI portal
The following pages link to Bisimulations for fuzzy transition systems revisited (Q1648774):
Displaying 13 items.
- Weak bisimulations for fuzzy automata (Q279375) (← links)
- Logical characterizations of simulation and bisimulation for fuzzy transition systems (Q679804) (← links)
- Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems (Q1697986) (← links)
- A fuzzy modal logic for fuzzy transition systems (Q2219078) (← links)
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics (Q2219174) (← links)
- Limited approximate bisimulations and the corresponding rough approximations (Q2237122) (← links)
- Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic (Q2237192) (← links)
- (Q2994262) (← links)
- Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices (Q6058014) (← links)
- Characterization and computation of approximate bisimulations for fuzzy automata (Q6079413) (← links)
- Fuzzy simulations and bisimulations between fuzzy automata (Q6099555) (← links)
- Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems (Q6150069) (← links)
- Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics (Q6496169) (← links)