具有模态词□φ=□1φ∨□2φ且可靠与完备的公理系统
文献类型：期刊论文
| 作者 | 邓少波1; 黎敏2; 曹存根1; 眭跃飞1 |
| 刊名 | 软件学报
 |
| 出版日期 | 2015 |
| 卷号 | 26.0期号:009页码:2286 |
| 关键词 | 命题模态逻辑 模态词 公理系统 |
| ISSN号 | 1000-9825 |
| 英文摘要 | 提出具有模态词□φ=□1φ∨□2φ的命题模态逻辑，给出其语言、语法与语义，其公理化系统是可靠与完备的，其中，□1与□2是给定的模态词．该逻辑的公理化系统具有与公理系统S5相似的语言，但具有不同的语法与语义．对于任意的公式φ,□φ=□1φ∨□2φ,框架定义为三元组〈W,R1,R2〉模型定义为四元组〈W,R1,R2,I〉；在完备性定理证明过程中，需要在由所有极大协调集所构成的集合上构造出两个等价关系，其典型模型的构建方法与经典典型模型的构建方法不同．如果□1的可达关系R1等于□２的可达关系R2，那么该逻辑的公理化系统变成S5． |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/35603]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 1.中国科学院计算技术研究所 2.南昌工程学院 |
| 推荐引用方式 GB/T 7714 | 邓少波,黎敏,曹存根,等. 具有模态词□φ=□1φ∨□2φ且可靠与完备的公理系统[J]. 软件学报,2015,26.0(009):2286. |
| APA | 邓少波,黎敏,曹存根,&眭跃飞.(2015).具有模态词□φ=□1φ∨□2φ且可靠与完备的公理系统.软件学报,26.0(009),2286. |
| MLA | 邓少波,et al."具有模态词□φ=□1φ∨□2φ且可靠与完备的公理系统".软件学报 26.0.009(2015):2286. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。