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]

Abstract

Abstract is missing.