This paper introduces a fuzzy approach to modal logics with graded relation updates. Specifically, we develop relation-changing modal logics where modalities modify the membership degree of a pair of elements in the accessibility relation. Our framework encompasses variants of local swap, sabotage, and bridge modalities. We motivate our approach via examples, and provide bisimulation notions for each logic, together with their corresponding characterization theorems. We also prove that model-checking for these logics is \(\textsf{PSpace}\) -complete, exactly as in the non-fuzzy cases.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Graded Relation Updates in Modal Logic

  • Raul Fervari,
  • Daniel Figueiredo,
  • Manuel A. Martins

摘要

This paper introduces a fuzzy approach to modal logics with graded relation updates. Specifically, we develop relation-changing modal logics where modalities modify the membership degree of a pair of elements in the accessibility relation. Our framework encompasses variants of local swap, sabotage, and bridge modalities. We motivate our approach via examples, and provide bisimulation notions for each logic, together with their corresponding characterization theorems. We also prove that model-checking for these logics is \(\textsf{PSpace}\) -complete, exactly as in the non-fuzzy cases.