Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems (Q6150069)
From MaRDI portal
scientific article; zbMATH DE number 7800572
Language | Label | Description | Also known as |
---|---|---|---|
English | Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems |
scientific article; zbMATH DE number 7800572 |
Statements
Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems (English)
0 references
6 February 2024
0 references
limited bisimulation
0 references
fuzzy transition system
0 references
bisimulation
0 references
modal logic
0 references
fuzzy modal logic
0 references
0 references
0 references