Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic
From MaRDI portal
Publication:2237192
Recommendations
- Logical characterizations of simulation and bisimulation for fuzzy transition systems
- Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
- A fuzzy modal logic for fuzzy transition systems
- Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
- Bisimulations for fuzzy transition systems revisited
Cites work
- scientific article; zbMATH DE number 4041866 (Why is no real title available?)
- scientific article; zbMATH DE number 3716792 (Why is no real title available?)
- scientific article; zbMATH DE number 1028833 (Why is no real title available?)
- scientific article; zbMATH DE number 1556014 (Why is no real title available?)
- Algebraic laws for nondeterminism and concurrency
- Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
- Bisimulations for fuzzy automata
- Bisimulations for fuzzy transition systems revisited
- Bisimulations for weighted automata over an additively idempotent semiring
- Lattice-valued simulations for quantitative transition systems
- Logical characterizations of regular equivalence in weighted social networks
- Logical characterizations of simulation and bisimulation for fuzzy transition systems
- Making fuzzy description logic more general
- Process simulation and refinement
- Simulation for lattice-valued doubly labeled transition systems
Cited in
(3)
This page was built for publication: Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2237192)
