摘要

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

  • 单位
    泰山学院