扩展命题模态逻辑相关硕士博士期刊学术论文 - 搜论网

扩展命题模态逻辑相关论文

基于扩展命题模态逻辑的决策信息系统表示

针对基于粗糙集理论的决策信息系统的特点,引入属性常量作为基本符号,对命题模态逻辑进行扩展,给出了扩展命题模态逻辑形式系统及......

期刊

模态逻辑扩展命题模态逻辑 Kripke语义粗糙集决策信息系统 modal logic extended propositional modal logic

看过本文同时还关注