大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 关于密集结构上艾伦关系的模态逻辑片段的复杂性。 (英文) Zbl 1451.03020号 Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2015年3月2日至6日在法国尼斯举行的2015年拉丁美洲旅游协会第九届国际会议。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。8977, 511-523 (2015). 摘要:区间时间逻辑为线性有序域上的区间结构的时间推理提供了一个自然框架,其中区间被视为原始本体论实体。它们的计算行为和表达能力主要取决于两个参数:它们所表征的模式集和解释它们的线性顺序。本文考虑了Halpern和Shoham的区间时序逻辑HS的所有片段在所有稠密线性序类上的可判定可满足性问题,并通过求解最后两个开放的情况,根据复杂性和可表达性对它们进行了完整的分类。关于整个系列,请参见[Zbl 1331.68009号]. 引用于5文件 MSC公司: 03B44号 时间逻辑 2015年3月1日 计算复杂性(包括隐式计算复杂性) 关键词:计算复杂性;区间时序逻辑;可满足性;表现力;可判定性 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,Lect。注释计算。科学。8977,511--523(2015;Zbl 1451.03020) 全文: 内政部 链接