Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic

DOI10.1016/J.IJAR.2021.04.006OpenAlexW3160065014MaRDI QIDQ2237192FDOQ2237192

Authors: Linh Anh Nguyen 

Publication date: 27 October 2021

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2021.04.006

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

zbMATH Keywords

simulationfuzzy systemsfuzzy simulationlabeled transition systems

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cites Work

• Algebraic laws for nondeterminism and concurrency
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bisimulations for fuzzy automata
• Bisimulations for fuzzy transition systems revisited
• Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Making fuzzy description logic more general
• Logical characterizations of regular equivalence in weighted social networks
• Simulation for lattice-valued doubly labeled transition systems
• Lattice-valued simulations for quantitative transition systems
• Logical characterizations of simulation and bisimulation for fuzzy transition systems
• Process simulation and refinement
• Bisimulations for weighted automata over an additively idempotent semiring
• Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics

Cited In (3)

• Characterization and computation of approximate bisimulations for fuzzy automata
• Fuzzy simulations and bisimulations between fuzzy automata
• Logical characterizations of simulation and bisimulation for fuzzy transition systems

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)