Pages that link to "Item:Q679804"

The following pages link to Logical characterizations of simulation and bisimulation for fuzzy transition systems (Q679804):

Displaying 18 items.

• Nondeterministic fuzzy automata with membership values in complete residuated lattices (Q511624) (← links)
• Fuzzy approximations of fuzzy relational structures (Q1644888) (← links)
• Bisimulations for fuzzy transition systems revisited (Q1648774) (← links)
• Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems (Q1697986) (← links)
• Computation of the greatest right and left invariant fuzzy quasi-orders and fuzzy equivalences (Q1794961) (← links)
• Approximate bisimulation relations for fuzzy automata (Q1800262) (← links)
• Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders (Q2200645) (← links)
• A fuzzy modal logic for fuzzy transition systems (Q2219078) (← links)
• Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures (Q2219195) (← 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)
• The relationships among several forms of weighted finite automata over strong bimonoids (Q2293180) (← links)
• A family of graded epistemic logics (Q2333311) (← links)
• Improved algorithms for computing the greatest right and left invariant Boolean matrices and their application (Q5863634) (← 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)