Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices.

Linh Anh Nguyen

Published in: Fuzzy Sets Syst. (2022)

Keyphrases

modal logic
fuzzy sets
membership functions
fuzzy logic
fuzzy clustering
fuzzy controller
fuzzy numbers
fuzzy set theory
fuzzy rules
inference rules
concept lattice
decision procedures
temporal logic
rule base
rough approximations