真值模态逻辑相关硕士博士期刊学术论文

安德森认为依靠归约公式Op□(～p→S)能把道义逻辑归约为真值模态逻辑。但是，安德森的这种做法是不妥的。所有标准系统都不能把“帮......