Depth-Bounded Fuzzy Bisimulation for Fuzzy Modal Logic

IF 1.1 4区计算机科学 Q3 COMPUTER SCIENCE, CYBERNETICS

Cybernetics and Systems Pub Date : 2024-01-03 DOI:10.1080/01969722.2023.2296248

Linh Anh Nguyen, Ivana Micić, Ngoc-Thanh Nguyen, Stefan Stanimirović

引用次数: 0

Abstract

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...

查看原文本刊更多论文

模糊模态逻辑的深度有界模糊二拟合

我们介绍了模糊克里普克模型之间的深度有界模糊二元对立。粗略地说，有深度约束的模糊二元模拟是一个模糊二元关系的递减序列，其下确值是一个模糊二元关系的...

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Cybernetics and Systems 工程技术-计算机：控制论

CiteScore

4.30

自引率

5.90%

发文量

审稿时长

>12 weeks

期刊介绍： Cybernetics and Systems aims to share the latest developments in cybernetics and systems to a global audience of academics working or interested in these areas. We bring together scientists from diverse disciplines and update them in important cybernetic and systems methods, while drawing attention to novel useful applications of these methods to problems from all areas of research, in the humanities, in the sciences and the technical disciplines. Showing a direct or likely benefit of the result(s) of the paper to humankind is welcome but not a prerequisite. We welcome original research that: -Improves methods of cybernetics, systems theory and systems research- Improves methods in complexity research- Shows novel useful applications of cybernetics and/or systems methods to problems in one or more areas in the humanities- Shows novel useful applications of cybernetics and/or systems methods to problems in one or more scientific disciplines- Shows novel useful applications of cybernetics and/or systems methods to technical problems- Shows novel applications in the arts