扩展模态语言中模态可定义性的不可判定性结果
在本文中,我们使用Balbiani和Tinchev的稳定类方法证明在加全称模态词的模态语言LU、时态语言LT、混合语言LH,LH(@)中,Chagrova定理成立,即一阶公式相对于特定框架类的模态/时态/混合可定义性问题是不可判定的.
Gespeichert in:
| Veröffentlicht in: | 逻辑学研究 2021, Vol.14 (6), p.25-40 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | chi |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | 在本文中,我们使用Balbiani和Tinchev的稳定类方法证明在加全称模态词的模态语言LU、时态语言LT、混合语言LH,LH(@)中,Chagrova定理成立,即一阶公式相对于特定框架类的模态/时态/混合可定义性问题是不可判定的. |
|---|---|
| ISSN: | 1674-3202 |
| DOI: | 10.3969/j.issn.1674-3202.2021.06.002 |