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