普利乌什凯维奇乌斯，里贾曼塔斯 线性微型Horn-like时序逻辑的饱和表。 （英语） Zbl 0814.03008号 J.汽车。推理 13，第3号，391-407（1994）. 摘要：针对一阶线性时序逻辑的完整类（称为迷你触角类），提出了一种新型的表格系统。所描述的系统而不是归纳式假设包含一些非逻辑公理，指示该系统中推导过程的饱和。 引用于3文件 MSC公司： 03B35型 证明和逻辑操作的机械化 03B45 模态逻辑（包括规范逻辑） 03财年03 一般证明理论（包括证明理论语义） 关键词：线性时序逻辑的证明理论;顺序系统;自动演绎;tableau系统 PDF格式BibTeX公司 XML格式引用 \textit{R.Pliuškevičius}，J.Autom（《汽车杂志》）。推理13，No.3，391--407（1994；Zbl 0814.03008） 全文： 内政部 参考文献： [1] Fisher，M.：时间逻辑的解决方法，Proc。IJCAI，悉尼，1991年·Zbl 0745.68091号 [2] Fitting，M.：一阶逻辑和自动定理证明，Springer-Verlag，柏林，1990年·Zbl 0692.68002号 [3] Gallier，J.H.：《计算机科学的逻辑：自动定理证明的基础》，Harper and Row出版社，纽约，1986年·Zbl 0605.03004号 [4] Kawai，H.：一阶无限时序逻辑的序列演算，Zeitshr。福尔数学。逻辑与格兰德拉赫德数学。33 (1987), 423–432. ·Zbl 0611.03010号 ·doi:10.1002/malq.19870330506 [5] Pliuškevičius，R.：用无限计算研究时间逻辑的有限计算，见B.Rovan（编辑），《1990年计算机科学的数学基础》，《计算讲义》。科学。，452，Springer-Verlag，柏林，1990年，第464-469页。 [6] Pliuškevičius，R.：关于线性时序逻辑的饱和计算，载于a.Borzyszkowski和S.Sokolowski（eds），《计算机科学的数学基础》1993年，《计算讲义》。科学。，711，Springer-Verlag，1993年，第640-649页·Zbl 0925.03107号 [7] Pliuškevičius，R.：关于线性时序逻辑的饱和原理，见G.Gottlob、a.Leitsch和D.Mundici（编辑），计算逻辑和证明理论，计算讲义。科学。，713，施普林格-弗拉格出版社，柏林，1993年，第289-300页·Zbl 0793.03014号 [8] Pratt，V.R.：命题动态逻辑的实用决策方法，ACM Symp。计算理论，1978年，326–337·Zbl 1283.03066号 [9] Sundholm，G.：演绎系统，载于D.Gabbay和F.Guenthner（编辑），《哲学逻辑学手册》，第1卷，D.Reidel，Dordrecht，1983年，第138-188页·兹伯利0875.003039 [10] Valiev，M.：《论冯·赖特的时间逻辑》（俄语），第二届苏联-内陆逻辑学术讨论会，莫斯科，1979年，第7-11页。 [11] Wolper，P.：时间逻辑的tableaux方法：概述，Log。等。28 (1985), 119–136. ·Zbl 0585.03008号 [12] Zeman，J.J.：《模态逻辑：刘易斯-模态系统》，牛津大学出版社，牛津，1973年·Zbl 0255.02014号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。