Fuzzy simulations and bisimulations between fuzzy automata
From MaRDI portal
Publication:6099555
DOI10.1016/j.ijar.2023.02.002arXiv2205.01955MaRDI QIDQ6099555
Publication date: 20 June 2023
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2205.01955
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Bisimulations for fuzzy automata
- Lattice-valued simulations for quantitative transition systems
- Logical characterizations of simulation and bisimulation for fuzzy transition systems
- Computation of the greatest simulations and bisimulations between fuzzy automata
- Metamathematics of fuzzy logic
- Fuzzy approximations of fuzzy relational structures
- Bisimulations for fuzzy transition systems revisited
- Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
- Expressivity in chain-based modal logics
- Labeled fuzzy approximations based on bisimulations
- Logical characterizations of regular equivalence in weighted social networks
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
- Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures
- Limited approximate bisimulations and the corresponding rough approximations
- Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic
- Simulation for lattice-valued doubly labeled transition systems
- Bisimulations for weighted automata over an additively idempotent semiring
- Bisimulation relations for weighted automata
- Notions of Bisimulation for Heyting-Valued Modal Languages
- Algebraic laws for nondeterminism and concurrency
- Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations
- Logic-Based Roughification
- Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
