×
里巴科夫，V.V。

离散线性时序逻辑中的逻辑顺序。 （英语） Zbl 1110.03010号

J.塞姆。日志。 70，第4期，1137-1149（2005）.
本文从推理规则的角度探讨了时序逻辑中逻辑结果的概念。逻辑推理的研究通常基于对一组特定公理和推理规则（公理系统）的选择，因为这个概念不是不变的。然而，有一种方法可以定义逻辑推理的不变概念，称为“可接受规则”或“连续性”。这些规则由给定逻辑的一组定理定义（其中逻辑被视为在指定模型中有效的所有公式的集合），使用统一替换的概念。已经研究了几种模态逻辑和超直觉逻辑的可接受规则（例如，请参见[G.E.薄荷，“可接受规则的可导出性”，J.Sov。数学。6, 417–421 (1976); Zap的翻译。诺什。塞明。列宁格。其他日期。Mat.Inst.Steklova 32，85–89（1973；Zbl 0358.02031号)], [V.V.里巴科夫，“模态系统S4和直觉逻辑中规则的可容许性标准”《代数逻辑》23369-384（1984）；《代数逻辑学》第23卷第5期第546–572页（1984年；Zbl 0598.03013号)][S.吉拉尔迪《直觉主义逻辑的统一》，J.Symb。日志。64，第2期，859–880（1999年；Zbl 0930.03009号)]).
本文研究了线性时序逻辑LDTL。LDTL可以被认为是所有整数框架（（mathbb Z，leq，geq））中有效的所有公式。构造了一个识别LDTL中允许的序列的算法。此外，同样的技术也适用于所有自然数的线性时序逻辑（mathcal L（mathbb N））。因此，逻辑LDTL和\（\mathcal L（\mathbb N）\）都是可以根据可容许规则判定的。
审核人：阿尔弗雷多·布里耶扎·穆尼兹（马拉加）

引用于26文件

MSC公司：

03B44号 时间逻辑

关键词：

时序逻辑;线性时序逻辑;逻辑结果;推理规则;奉献;可接受规则

引文：

Zbl 0375.02014号;Zbl 0598.03013号;Zbl 0930.03009号;Zbl 0358.02031号
PDF格式BibTeX公司 XML格式引用
\textit{V.Rybakov}，J.Symb。日志。70，第4号，1137--1149（2005；Zbl 1110.03010）
全文： 内政部

参考文献：

[1] 内政部：10.1007/BF01978706·兹伯利0598.03014 ·doi:10.1007/BF01978706
[2] Heriditary结构完整模态逻辑60 pp 266–（1995）
[3] 直觉逻辑的统一64 pp 859–（1999）·Zbl 0930.03009号
[4] 多维模态逻辑：理论与应用（2003）·Zbl 1051.03001号
[5] 数学逻辑中的102个问题40 pp 113–（1975）
[6] 数学逻辑基础（1977）·Zbl 0396.03001号
[7] 计算机辅助验证会议（CAV）818（1994）
[8] DOI:10.1070/SM1977v031n02ABEH002303·Zbl 0386.03011号 ·doi:10.1070/SM11977v031n02ABEH002303
[9] 模态逻辑35（1997）·Zbl 0871.03007号
[10] 计算机辅助验证会议1633（1999）
[11] 直觉逻辑带参数推理规则57 pp 912–（1992）
[12] 时间的逻辑156（1983）
[13] 时态逻辑的语义分析37（1972）
[14] 过去、现在和未来（1967）·Zbl 0169.29802号
[15] 时间与模式（1957）
[16] 第18届计算机科学基础年会论文集第46页–（1997）
[17] DOI:10.1007/BF01084082·Zbl 0375.02014号 ·doi:10.1007/BF01084082
[18] 多维模态逻辑（1997）
[19] 《逻辑与数学》（1955）·Zbl 0066.24802号
[20] 直觉主义命题逻辑的可容许规则66 pp 281–（2001）
[21] DOI:10.1016/S0168-0072（01）00056-2·Zbl 0988.03045号 ·doi:10.1016/S0168-0072（01）00056-2
[22] 关于直觉形式系统中A、B、C、A、xB（x）型的公式25 pp 27–（1960）
[23] 时间逻辑与计算7（1992）
[24] 理论36第301页–（1970）
[25] DOI:10.1002/（SICI）1521-3870（200005）46:2&lt；207:：AID-MALQ207&gt；3.0.CO；2-E型·Zbl 0955.03037号 ·doi:10.1002/（SICI）1521-3870（200005）46:2<207:：AID-MALQ207>3.0.CO；2-E型
[26] DOI:10.1002/malq.19990450409·Zbl 0938.03033号 ·doi:10.1002/malq.19990450409
[27] 内政部：10.1007/s001530100134·Zbl 1030.03015号 ·doi:10.1007/s001530100134
[28] 内政部：10.1002/1521-3870（200111）47:4&lt；441:：AID-MALQ441&gt；3.0.CO；2-J型·Zbl 0992.03027号 ·doi:10.1002/1521-3870（200111）47:4<441:：AID-MALQ441>3.0.CO；2至J
[29] 可接受逻辑推理规则136（1997）
[30] DOI:10.1007/BF01982031·Zbl 0598.03013号 ·doi:10.1007/BF01982031
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。