命题模态逻辑的模型构造和完备性证明
文献类型：期刊论文
| 作者 | 柳欣欣 ; 李小燕 |
| 刊名 | 计算机应用与软件
 |
| 出版日期 | 2014 |
| 卷号 | 31期号:8页码:9-12,24 |
| 关键词 | Fisher-Ladner闭包 canonical model R规则 可满足性 完备性 Fisher-Ladner closure Canonical model R-rule Satisfiability Completeness |
| ISSN号 | 1000-386X |
| 其他题名 | MODEL CONSTRUCTION AND COMPLETENESS PROOF OF PROPOSITIONAL MODAL LOGIC |
| 中文摘要 | 模态逻辑是研究必然、可能及其相关概念的逻辑.模态公式的可满足性问题和证明系统的完备性问题是模态逻辑中的两个经典的问题.为了解决这两个问题,提出一个构造模态公式的canonical model的方法.通过这个方法,对于给定模态公式(φ),如果(φ)是可满足的,可以得到(φ)的一个canonical model;如果(φ)是不可满足的,可以得到(Γ)(φ)的证明.此外,还给出命题模态逻辑完备性的一个构造性证明方法. |
| 英文摘要 | Propositional modal logic is the logic studying the necessity,possibility and their correlated concepts. The satisfiability problem of model formula and the proof of system completeness problem are two classic problems in modal logic. To solve these two problems, we propose a method of canonical model to construct the modal formula. By this method,for a given model formula phi, if phi is satisfiable,a canonical model can be obtained for it ; but if phi is not satisfiable,a proof of its negation- phi is to be obtained. In addition,in the paper we also give a constructive proof method of the completeness of the propositional modal logic. |
| 收录类别 | CSCD |
| 语种 | 中文 |
| CSCD记录号 | CSCD:5209184 |
| 公开日期 | 2014-12-16 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/16717]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | 柳欣欣,李小燕. 命题模态逻辑的模型构造和完备性证明[J]. 计算机应用与软件,2014,31(8):9-12,24. |
| APA | 柳欣欣,&李小燕.(2014).命题模态逻辑的模型构造和完备性证明.计算机应用与软件,31(8),9-12,24. |
| MLA | 柳欣欣,et al."命题模态逻辑的模型构造和完备性证明".计算机应用与软件 31.8(2014):9-12,24. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。