当前位置:
X-MOL 学术
›
Cybern. Syst.
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Depth-Bounded Fuzzy Bisimulation for Fuzzy Modal Logic
Cybernetics and Systems ( IF 1.7 ) Pub Date : 2024-01-03 , DOI: 10.1080/01969722.2023.2296248 Linh Anh Nguyen 1, 2 , Ivana Micić 3 , Ngoc-Thanh Nguyen 2, 4 , Stefan Stanimirović 3
Cybernetics and Systems ( IF 1.7 ) Pub Date : 2024-01-03 , DOI: 10.1080/01969722.2023.2296248 Linh Anh Nguyen 1, 2 , Ivana Micić 3 , Ngoc-Thanh Nguyen 2, 4 , Stefan Stanimirović 3
Affiliation
We introduce depth-bounded fuzzy bisimulation between fuzzy Kripke models. Roughly speaking, a depth-bounded fuzzy bisimulation is a decreasing sequence of fuzzy binary relations whose infimum is a...
中文翻译:
模糊模态逻辑的深度有界模糊互模拟
我们引入模糊 Kripke 模型之间的深度有界模糊互模拟。粗略地说,深度有界模糊互模拟是模糊二元关系的递减序列,其下确界是...
更新日期:2024-01-04
中文翻译:
模糊模态逻辑的深度有界模糊互模拟
我们引入模糊 Kripke 模型之间的深度有界模糊互模拟。粗略地说,深度有界模糊互模拟是模糊二元关系的递减序列,其下确界是...