摘要
在本文中,我们使用Balbiani和Tinchev的稳定类方法证明在加全称模态词的模态语言L_(U)、时态语言L_(T)、混合语言L_(H),L_(H(@))中,Chagrova定理成立,即一阶公式相对于特定框架类的模态/时态/混合可定义性问题是不可判定的。
In the present paper,we apply the methodology in Balbiani and Tinchev(2016)to show that for the modal language with universal modality L_(U),tense language L_(T),hybrid languages L_(H),L_(H(@)),Chagrova’s theorem holds that the modal/tense/hybrid definability of firstorder sentences with respect to certain classes of frames is undecidable,by using similar techniques as stable classes of Kripke frames.
作者
赵之光
Zhiguang Zhao(School of Mathematics and Statistics,Taishan University)
出处
《逻辑学研究》
CSSCI
2021年第6期25-40,共16页
Studies in Logic
基金
The research of the author is supported by Taishan University Starting Grant“Studies on Algebraic Sahlqvist Theory”and the Taishan Young Scholars Program of the Government of Shandong Province,China(No.tsqn201909151).
