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

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