|
|||||
|
|
| 与模态逻辑树模型上的重述相关的若干结果CSSCI | |
| 引用本文： | 杜珊珊.与模态逻辑树模型上的重述相关的若干结果CSSCI[J].逻辑学研究,2020(3):32-61. |
| 作者姓名： | 杜珊珊 |
| 作者单位： | 1.武汉大学哲学学院; |
| 基金项目： | supported by“the Fundamental Research Funds for the Central Universities”(No.410500139). |
| 摘 要： | 本文考察模态逻辑树模型上的局部等价以及m-保守的重述。所谓重述指的是将一种语言下的公式翻译到另一种语言中去。这种翻译可以是等价的(局部等价性),也可以是不等价的(m-保守的)。本文所研究的模态语言包括ML、MLI、MLG和MLGI,所涉及的模型是模态逻辑的树模型。 |
| 关 键 词： | 模态逻辑 不等价 树模型 等价性 翻译 重述 语言 |
| 本文献已被 维普 等数据库收录！ | |