古典命题逻辑与模态命题逻辑的语义之比较  

作　　者：姚从军[1] 

机构地区：[1]南开大学哲学系,天津300071

出　　处：《湖南科技学院学报》2009年第2期90-91,共2页Journal of Hunan University of Science and Engineering

基　　金：湖南科技学院重点科研项目"古典命题逻辑与模态命题逻辑的比较"(07XKYTA011)

摘　　要：模态命题逻辑的语义解释与古典命题逻辑的语义解释相比:语义解释的构成要素增多了,增加了两个元素□和R,且相同要素V的作用范围扩大了;根据语义解释能够得出的永真式的数量增多了,故前者比后者的解释能力也大大增强。

关 键 词：古典逻辑 模态逻辑 语义 解释 赋值 

分 类 号：B81[哲学宗教—逻辑学]