×
大卫·布雷索林;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科

线性序上右命题邻域逻辑的最优表。 （英语） Zbl 1178.03030号

Hölldobler，Steffen（编辑）等人，《人工智能中的逻辑》。第11届欧洲会议，JELIA 2008，德国德累斯顿，2008年9月28日至10月1日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87802-5/pbk）。计算机科学讲义5293。人工智能课堂讲稿，62-75（2008）。
线性序区间时序逻辑的研究是计算机科学和人工智能中一个有意义的研究领域。不幸的是，即使局限于命题语言，大多数区间逻辑结果也是不可判定的。可决定性通常通过施加严格的句法和/或语义限制来恢复。在过去的几年中，基于表的决策程序已经被用于特定时间结构类的时间邻域逻辑和子区间关系逻辑。本文针对整类线性序域上命题邻域逻辑的未来片段，提出了一种基于NEXPTIME表的最优决策过程。
关于整个系列，请参见[Zbl 1146.68009号].

引用于6文件

MSC公司：

03B44号 时间逻辑
03B25号 理论和句子集的可决定性
65年第68季度 算法和问题复杂性分析
PDF格式BibTeX公司 XML格式引用
\textit{D.Bresolin}等人，Lect。注释计算。科学。5293，62-75（2008；Zbl 1178.03030）
全文： 内政部

参考文献：

[1] 鲍曼，H。；Thompson，S.，有限区间时间逻辑的决策过程和完全公理化与投影，逻辑与计算杂志，13，2，195-239（2003）·Zbl 1050.03012号 ·doi:10.1093/logcom/13.2.195
[2] 布雷索林，D。；V.戈兰科。；Montanari，A。；萨拉，P。；Olivetti，N.，《稠密序上子区间结构逻辑的Tableau系统》，《使用分析Tableaux和相关方法的自动推理》，73-89（2007），海德堡：斯普林格，海德伯格·Zbl 1133.03007号 ·doi:10.1007/978-3-540-73099-68
[3] 布雷索林，D。；V.戈兰科。；Montanari，A。；Sciavicco，G。；阿尔特莫夫，S.N。；Nerode，A.，《命题区间邻域逻辑的可判定性和表达性》，《计算机科学的逻辑基础》，84-99（2007），海德堡：斯普林格出版社·兹比尔1132.03335 ·doi:10.1007/978-3-540-72734-77
[4] 布雷索林，D。；Montanari，A。；萨拉，P。；托马斯·W·。；Weil，P.，命题邻域逻辑的基于表的最优决策算法，STACS 2007，549-560（2007），海德堡：Springer，Heidelberg·Zbl 1141.03308号 ·doi:10.1007/978-3-540-70918-347
[5] 布雷索林，D。；Montanari，A。；Sciavicco，G.，右命题邻域逻辑的最优决策程序，自动推理杂志，38，1-3，173-199（2007）·Zbl 1121.03027号 ·doi:10.1007/s10817-006-9051-0
[6] Z.Chaochen。；汉森，M.R。；德罗弗，W.-P。；Langmaack，H。；Pnueli，A.，《充分的一阶区间逻辑》，《组成性：显著差异》，584-608（1998），海德堡：斯普林格出版社·doi:10.1007/3-540-49213-5_23
[7] V.戈兰科。；Montanari，A。；Sciavicco，G。；Sala，P.，命题区间时序逻辑的一般表方法：理论与实现，应用逻辑杂志，4，3，305-330（2006）·Zbl 1104.03010号 ·doi:10.1016/j.jal.2005.06.012
[8] Halpern，J.Y。；Shoham，Y.，时间间隔的命题模态逻辑，ACM杂志，38，4，935-962（1991）·Zbl 0799.68175号 ·doi:10.1145/115234.115351
[9] Moszkowski，B.：关于数字电路的推理。加利福尼亚州斯坦福大学计算机科学系技术代表83-970（1983）
[10] Otto，M.，有序域上的双变量一阶逻辑，符号逻辑杂志，66，2，685-702（2001）·Zbl 0990.03005号 ·doi:10.2307/2695037
[11] Venema，Y.，《斩波间隔的模态逻辑》，《逻辑与计算杂志》，1，4，453-476（1991）·Zbl 0744.03022号 ·doi:10.1093/logcom/1.4.453
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。