Basic neighbourhood logic is the modal logic in neighbourhood semantics where the neighbourhood functions are not necessarily upward-closed, therefore the modal operator is not necessarily monotonic. In this paper, we study a model comparison game for basic neighbourhood logic, in which there are two players, one of which claims that two pointed models are similar, and the other claims the opposite. The winning strategy of the first player is used to characterize the similarity between two pointed models. We give a definition of n-bisimulation, which characterizes n-modal equivalence and provides the ingredient for the model comparison game for basic neighbourhood logic.

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

Modal Equivalence, n-Bisimulation and Model Comparison Game for Basic Neighbourhood Logic

  • Xiaoxuan Fu,
  • Zhiguang Zhao

摘要

Basic neighbourhood logic is the modal logic in neighbourhood semantics where the neighbourhood functions are not necessarily upward-closed, therefore the modal operator is not necessarily monotonic. In this paper, we study a model comparison game for basic neighbourhood logic, in which there are two players, one of which claims that two pointed models are similar, and the other claims the opposite. The winning strategy of the first player is used to characterize the similarity between two pointed models. We give a definition of n-bisimulation, which characterizes n-modal equivalence and provides the ingredient for the model comparison game for basic neighbourhood logic.