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

Linh Anh Nguyen. Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic. Int. J. Approx. Reasoning, 135:21-37, 2021. [doi]

@article{Nguyen21-7,
  title = {Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic},
  author = {Linh Anh Nguyen},
  year = {2021},
  doi = {10.1016/j.ijar.2021.04.006},
  url = {https://doi.org/10.1016/j.ijar.2021.04.006},
  researchr = {https://researchr.org/publication/Nguyen21-7},
  cites = {0},
  citedby = {0},
  journal = {Int. J. Approx. Reasoning},
  volume = {135},
  pages = {21-37},
}