论模态逻辑的集合论语义

摘要：

引入非良基集合可以为模态逻辑提供一种新的语义学.这种语义是在集合上解释模态语言,使用集合中作为元素的集合之间的属于关系解释模态词,并在集合中采用命题变元作为本元,从而解释原子命题的真假.在这种新的语义下,从模型构造的角度看可以引入几种非标准的集合运算:不交并、生成子集合、p-态射、树展开等等,证明模态公式在这些运算下的保持或不变结果.利用这些结果还可以证明一些集合类不是模态可定义的.

关键词：非良基集合、模态逻辑、集合运算、模态可定义性

所属期刊栏目：2

分类号：B81(逻辑学(论理学))

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

页数：共15页

页码：82-96