扩展模态语言中模态可定义性的不可判定性结果（英文）

作者：赵之光

来源：逻辑学研究, 2021, 14(06): 25-40.

在本文中,我们使用Balbiani和Tinchev的稳定类方法证明在加全称模态词的模态语言LU、时态语言LT、混合语言LH,L(H(@))中,Chagrova定理成立,即一阶公式相对于特定框架类的模态/时态/混合可定义性问题是不可判定的。

• 单位
  泰山学院