Pages that link to "Item:Q2882558"
From MaRDI portal
The following pages link to Notions of Bisimulation for Heyting-Valued Modal Languages (Q2882558):
Displaying 11 items.
- How true it is = who says it's true (Q1015490) (← links)
- Expressivity in chain-based modal logics (Q1745356) (← links)
- Approximate bisimulation relations for fuzzy automata (Q1800262) (← links)
- Logical characterizations of regular equivalence in weighted social networks (Q2014930) (← links)
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics (Q2219174) (← links)
- A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
- (Q5089293) (← links)
- (Q5094149) (← links)
- Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices (Q6058014) (← 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)
