A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5

Dorota Leszczyńska-Jasion

首页> 外文期刊>Journal of Philosophical Logic >A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5

【24h】

A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5

机译：模态命题逻辑K4，S4和S5的无环决策过程

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

The aim of this paper is to present a loop-free decision procedure for modal propositional logics K4, S4 and S5. We prove that the procedure terminates and that it is sound and complete. The procedure is based on the method of Socratic proofs for modal logics, which is grounded in the logic of questions IEL.

机译：本文的目的是提出模态命题逻辑K4，S4和S5的无环决策程序。我们证明该过程已终止，并且它是正确且完整的。该程序基于模态逻辑的苏格拉底证明方法，该方法基于问题IEL的逻辑。

著录项

来源
《Journal of Philosophical Logic》 |2009年第2期|151-177|共27页
作者
Dorota Leszczyńska-Jasion;
展开▼
作者单位

Section of Logic and Cognitive Science, Institute of Psychology, Adam Mickiewicz University, Poznań, Poland;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
logic of questions; loop; free procedures; the method of Socratic proofs; transitive modal logics;

机译：问题的逻辑;循环;免费程序;苏格拉底式的证明方法;传递模态逻辑;

相似文献

外文文献
中文文献
专利

1. A Benchmark Method for the Propositional Modal Logics K, KT, S4 [J] . PETER BALSIGER, ALAIN HEUERDlNG, STEFAN SCHWENDlMANN Journal of Automated Reasoning . 2000,第3期

机译：命题模态逻辑K，KT，S4的基准方法
2. Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications [J] . Pan Xiaodong, Xu Yang International journal of computational intelligence systems . 2015,第SUPPLa1期

机译：具有评估语法的命题模糊模态逻辑的语义及其在模糊决策中的应用
3. Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications [J] . XiaodongPan, YangXu International journal of computational intelligence systems . 2015,第SUPPLa1期

机译：具有评估语法的命题模糊模态逻辑的语义及其在模糊决策中的应用
4. Computational Complexity of Core Fragments of Modal Logics T, K4, and S4 [C] . Przemyslaw Andrzej Walega European conference on logics in artificial intelligence . 2019

机译：模态逻辑T，K4和S4的核心片段的计算复杂性
5. Propositional Quantification and Comparison in Modal Logic [D] . Ding, Yifeng. 2021

机译：模特量化和模态逻辑的比较
6. PNAS Plus: S4–S5 linker movement during activation and inactivation in voltage-gated K+ channels [O] . Tanja Kalstrup, Rikard Blunck 2018

机译：PNAS Plus：S4–S5链接器在电压门控K +通道激活和失活期间的运动
7. Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m) [O] . Giunchiglia Fausto, Sebastiani Roberto 2000

机译：从命题决策程序建立模态逻辑的决策程序：模态K（m）的案例研究

A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5

摘要

著录项

相似文献

相关主题

期刊订阅