利用模糊模态逻辑刻画模糊标记迁移系统间的清晰模拟与清晰定向模拟
计算机科学中的逻辑
2021-09-07 v1
摘要
我们针对采用基于一般 t-范数语义的模糊模态逻辑，提出并证明了模糊标记迁移系统之间清晰模拟与清晰定向模拟的逻辑刻画。所考虑的逻辑是带有 Baaz 投影算子的模糊命题动态逻辑的片段。这些逻辑刻画涉及在清晰模拟（分别对应清晰定向模拟）下正存在（分别对应正）模态公式的保持，以及此类模拟的 Hennessy-Milner 性质。
引用
@article{arxiv.2109.02334,
title = {Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics},
author = {Linh Anh Nguyen and Ngoc-Thanh Nguyen},
journal= {arXiv preprint arXiv:2109.02334},
year = {2021}
}
备注
This is a revised and extended version of a FUZZ-IEEE'2021 paper