模态逻辑的集合论语义与互模拟不变性

逻辑学研究 2021 年第 1 期，49–59  文章编号：1674-3202(2021)-01-0049-11

作者：史璟

摘 要：含有命题变元的非良基集合能够被看作解释模态语言的模型。任给非良基集合 a，一个命题变元 p 在 a 上真当且仅当 p 属于 a。命题联结词的解释与古典命题逻辑相同。一个公式  在 a 上真当且仅当存在集合 b 属于 a，使得 A 在 b 上是真的。在一个集合中，属于关系被看作可及关系。在这种思想下，我们可以定义从模态语言到一阶集合论语言的标准翻译。对任意模态公式 A 和集合变元 x，可以递归定义一阶集合论语言的公式 ST(A, x)。在关系语义学下，van Benthem 刻画定理是说，在带有唯一的二元关系符号 R 的一阶语言中，任何一阶公式等价于某个模态公式的标准翻译当且仅当这个一阶公式在互模拟下保持不变。因此，模态语言是该一阶关系语言的互模拟不变片段。同样，我们可以在集合上定义互模拟关系，证明 van Benthem 刻画定理对于集合论语义和集合上的互模拟不变片段成立，即模态语言是一阶集合论语言的集合互模拟不变片段。

关键词：模态逻辑；互模拟；非良基集

中图分类号：B81  文献标识码：A