Pages that link to "Item:Q6058014"
From MaRDI portal
The following pages link to Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices (Q6058014):
Displaying 9 items.
- 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)
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics (Q2219174) (← links)
- Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic (Q2237192) (← links)
- (Q5089293) (← links)
- A van Benthem Theorem for Fuzzy Modal Logic (Q5145370) (← links)
- Characterization and computation of approximate bisimulations for fuzzy automata (Q6079413) (← links)
- Fuzzy simulations and bisimulations between fuzzy automata (Q6099555) (← 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)