S6系统相关硕士博士期刊学术论文

S6系统有两个特点：(1)它没有必然化规则N，所以其语义解释必须引入非正规世界；(2)它把MMp当作系统公理，对于MMp的语义解释一方面可以利......