Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5

Linh Anh Nguyen

首页> 外文期刊>Studia Logica >Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5

【24h】

Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5

机译：表格逻辑KB，KDB，K5，KD5的解析Tableau系统和内插

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We give complete sequent-like tableau systems for the modal logics KB, KDB, K5, and KD5. Analytic cut rules are used to obtain the completeness. Our systems have the analytic superformula property and can thus give a decision procedure. Using the systems, we prove the Craig interpolation lemma for the mentioned logics.

机译：我们为模态逻辑KB，KDB，K5和KD5提供了完整的类似顺序的表格系统。解析切割规则用于获取完整性。我们的系统具有解析超式的性质，因此可以给出决策程序。使用这些系统，我们证明了上述逻辑的克雷格插值引理。

著录项

来源
《Studia Logica》 |2001年第1期|41-57|共17页
作者
Linh Anh Nguyen;
展开▼
作者单位

Institute of Informatics Warsaw University;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
modal logics; analytic tableau systems; interpolation;

机译：模态逻辑;解析表系统;插值;

相似文献

外文文献
中文文献
专利

1. Pure Modal Logic of Names and Tableau Systems [J] . Pietruszczak Andrzej, Jarmuzek Tomasz Studia Logica . 2018,第6期

机译：纯粹的名称和Tableau系统的模态逻辑
2. Modal paraconsistent tableau systems of logic [J] . TOMASZ JARMUZEK, MARCIN TKACZYK WSEAS Transactions on Mathematics . 2015,第Null期

机译：模态超一致逻辑表系统
3. The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G [J] . Dorota Leszczyńska-Jasion Studia Logica . 2008,第3期

机译：模态命题逻辑的Socratic证明方法：K5，S4.2，S4.3，S4F，S4R，S4M和G
4. Sequent-like tableau systems with the analytic superformula property for the modal logics KB, KDB, K5, KD5 [C] . Linh Anh Nguyen International Conference on Automated Reasoning with Analytic Tableaux and Related Methods . 2000

机译：类似的Tableau系统，具有模态逻辑KB，KDB，K5，KD5的分析卓越级
5. Experimental and Analytical Studies of Infrastructure Systems Condition Assessment Using Different Sensing Modality [D] . Abdelbarr, Mohamed H. 2018

机译：基础设施系统条件评估的实验分析研究使用不同传感方式评估
6. An Analytic Approach Using Candidate Gene Selection and Logic Forest to Identify Gene by Environment Interactions (G × E) for Systemic Lupus Erythematosus in African Americans [O] . Bethany J. Wolf, Paula S. Ramos, J. Madison Hyer, 2018

机译：利用候选基因选择和逻辑森林通过环境相互作用（G×E）识别非洲裔美国人系统性红斑狼疮基因的分析方法
7. Tableau Systems for Some Paraconsistent Modal Logics [O] . McGinnis Casey 2006

机译：Tableau系统用于某些超一致模态逻辑
8. Modal Interpolation Program, L215(INTERP). Volume 2: Supplemental System Design and Maintenance Document [R] . Hirayama, M. Y., Kroll, R. I. 1979

机译：模态插值程序，L215（INTERp）。第2卷：补充系统设计和维护文件

Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5

摘要

著录项

相似文献

相关主题

期刊订阅