与模态逻辑树模型上的重述相关的若干结果

摘要：

本文考察模态逻辑树模型上的局部等价以及m-保守的重述.所谓重述指的是将一种语言下的公式翻译到另一种语言中去.这种翻译可以是等价的(局部等价性),也可以是不等价的(m-保守的).本文所研究的模态语言包括ML、MLI、MLG和MLGI,所涉及的模型是模态逻辑的树模型.

所属期刊栏目：13

资助基金：This paper is supported by "the Fundamental Research Funds for the Central Universities"No.410500139

在线出版日期：2020-07-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共30页

页码：32-61