首页> 外文会议>International conference on computational science and engineering applications >Improved Destructive Extension Rule in Propositional Modal Logic S5 System

【24h】

Improved Destructive Extension Rule in Propositional Modal Logic S5 System

机译：引诱模式逻辑S5系统中的改善破坏性扩展规则

获取原文

页面导航

著录项
相似文献
相关主题

著录项

来源
《International conference on computational science and engineering applications》|2015年|766 p.|共5页
会议地点
作者
Pei Huang; YuTing Yang; Xi Tan; Yuan Gao;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5 [J] . Dorota Leszczyńska-Jasion Journal of Philosophical Logic . 2009,第2期

机译：模态命题逻辑K4，S4和S5的无环决策过程
2. Hypersequent rules with restricted contexts for propositional modal logics [J] . Lellmann Bjoern Theoretical computer science . 2016,第Pta1期

机译：命题模态逻辑上下文受限的超继规则
3. A Normalizing Computation Rule for Propositional Extensionality in Higher-Order Minimal Logic [J] . Robin Adams, Marc Bezem, Thierry Coquand LIPIcs : Leibniz International Proceedings in Informatics . 2018,第1期

机译：高阶最小逻辑中命题可扩展性的归一化计算规则
4. Improved Destructive Extension Rule in Propositional Modal Logic S5 System [C] . Pei Huang, YuTing Yang, Xi Tan, International conference on computational science and engineering applications . 2015

机译：引诱模式逻辑S5系统中的改善破坏性扩展规则
5. Propositional Quantification and Comparison in Modal Logic [D] . Ding, Yifeng. 2021

机译：模特量化和模态逻辑的比较
6. Roles of the negatively charged N-terminal extension of Saccharomyces cerevisiae ribosomal protein S5 revealed by characterization of a yeast strain containing human ribosomal protein S5 [O] . Oleksandr Galkin, Amber A. Bentley, Sujatha Gupta, 2007

机译：通过鉴定含有人核糖体蛋白S5的酵母菌株来揭示啤酒酵母核糖体蛋白S5带负电荷的N端延伸的作用
7. Rewrite rule systems for modal propositional logic [O] . Foret Annie 1992

机译：重写模态命题逻辑的规则系统

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号