Socratic Proofs for Propositional Linear-Time Logic

机译：命题线性时间逻辑的苏格拉底证明

页面导航

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

摘要

This paper presents a calculus of Socratic proofs forPropositional Linear-Time Logic (PLTL) and discusses potentialautomation of its proof search.

机译：本文介绍了针对命题线性时间逻辑（PLTL）的苏格拉底证明的演算，并讨论了其证明搜索的潜在自动化。

著录项

作者
Urbanski M.; Bolotov A.; Shangin V.; Grigoriev O.;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. 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
2. 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
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. Automated Natural Deduction for Propositional Linear-time Temporal Logic [C] . Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin International Symposium on Temporal Representation and Reasoning . 2007

机译：命题线性时间临时逻辑自动自然扣除
5. Algorithmic applications of propositional proof complexity. [D] . Sabharwal, Ashish. 2005

机译：命题证明复杂性的算法应用。
6. Proof theory for locally finite many-valued logics: Semi-projective logics [O] . Agata Ciabattoni, Franco Montagna -1

机译：局部有限多值逻辑的证明理论：半射逻辑
7. Automated Natural Deduction for Propositional Linear-time Temporal Logic ∗ [O] . Alexander Bolotov 2008

机译：命题线性时间时态逻辑的自动自然演绎*
8. Proof Editor for Propositional Temporal Logic [R] . Casley, R. 1986

机译：命题时态逻辑的证明编辑器

Socratic Proofs for Propositional Linear-Time Logic

摘要

著录项

相似文献

相关主题

期刊订阅