汉斯·尤根·奥巴赫;Dov Gabbay公司 日历逻辑。 （英语） Zbl 0930.03017号 J.应用。非类别。日志。 8，第4期，291-323（1998）. 日历逻辑（CL）与标准时态逻辑的主要区别在于“时态运算符（前者的）总是有限区间的有限集”。因此，可以将其转换为可判定系统（此处为经典命题逻辑）。定义了CL语言及其语法和语义，描述了将其转换为命题逻辑的算法；然后证明了翻译的正确性和完整性。最后描述了CL的一个表系统，并证明了它的可靠性和完备性。最后一点并不清楚，因为稳健性和完整性的表述似乎混淆了：所谓的稳健性就是完整性，反之亦然。审核人：P.马特拉纳（普拉哈） 引用于1审查引用于2文件 MSC公司： 03B44号 时间逻辑 03B25号 理论和句子集的可判定性 关键词：时序逻辑;日历逻辑;时间间隔;命题逻辑的翻译算法;tableau系统 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Ohlbach}和\textit{D.Gabbay}，J.Appl。非类别。日志。8，第4号，291--323（1998；Zbl 0930.03017） 全文： 内政部 参考文献： [1] 亚历山大·查戈夫（Alexander Chargov），《牛津逻辑指南》（Oxford Logic Guides）。(1997) [2] Chellas B.F.，模态逻辑：导论。(1980) ·Zbl 0431.03009号 ·doi:10.1017/CBO9780511621192 [3] Nachum Dershowitz，日历计算。(1997) [4] Dov Gabbay M.，时间逻辑：数学基础和计算方面。《牛津逻辑指南》第28卷第1卷。(1994) ·兹比尔0875.003007 ·doi:10.1007/BFb0013976 [5] Hans Jürgen Ohlbach，程序。1997（1997）年国际刑事法庭 [6] Hans Jürgen Ohlbach，《时间逻辑：数学基础和计算方面》。第2卷。(1998) ·Zbl 0928.03011号 [7] Hans Jürgen Ohlbach，自动扣除。应用基础第57页–（1998）·doi:10.1007/978-94-017-0437-33 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。