多值模态逻辑的计量化方法

• 作者: 时慧娴 王国俊
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 多值模态逻辑 n-型框架 n-值模态模型 局部化真度 全局真度 时态逻辑
• 年，卷（期）: 2012,（12）
• 所属期刊栏目: 模式识别与人工智能
• 页码范围: 3074-3087
• 页数: 14页
• 分类号: TP181
• 字数: 14035字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2012.04212

摘要

在多值模态逻辑中构建了n-值模态模型及相应的语义理论,并指出这种语义是经典模态逻辑语义的推广.定义了<W,R>n-型框架的概念,并在该框架下用归纳的方法构建了由模态公式诱导的局部化映射,给出公式的局部化真度的概念,并指出任意模态公式的局部化真度都可以转化为另一个不含模态词的公式在同一可能世界处的局部化真度.定义了模态公式的全局真度,并证明了当某模态公式不合模态词时,其全局真度与其在一般命题逻辑中的真度一致.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学与信息科学学院	176	2910	25.0	49.0
2	时慧娴	陕西师范大学数学与信息科学学院	7	21	3.0	4.0