关键词： 模态逻辑 转换结构 典范模型 有穷模型性质
作者: 董英东
作者单位: 毕节学院,贵州 551700
会议类型: 国内会议
会议名称: 中国计算机学会多值逻辑与模糊逻辑专业委员会第十三届学术年会
会议地点: 上海
会议语种:中文
页码: 4-4
在线出版日期: 2012-10-01（万方平台首次上网日期，不代表论文的发表时间）