Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
From MaRDI portal
Publication:6058014
DOI10.1016/j.fss.2021.08.009zbMath1522.03085arXiv2101.12349OpenAlexW3195270167MaRDI QIDQ6058014
Publication date: 26 October 2023
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2101.12349
Related Items (2)
Characterization and computation of approximate bisimulations for fuzzy automata ⋮ Fuzzy simulations and bisimulations between fuzzy automata
Cites Work
- Unnamed Item
- Unnamed Item
- 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
- Bisimulations for fuzzy transition systems revisited
- Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
- Expressivity in chain-based modal logics
- Logical characterizations of regular equivalence in weighted social networks
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
- Simulation for lattice-valued doubly labeled transition systems
- Making fuzzy description logic more general
- Bisimulations for weighted automata over an additively idempotent semiring
- 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
This page was built for publication: Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
