LTL 子句片段的复杂性
计算机科学中的逻辑
2013-10-11 v4 计算复杂性
摘要
我们引入并研究了一系列基于时间流的命题时序逻辑 LTL 的片段。这些片段是根据可用的时序算子以及时序公式的子句范式结构来定义的。我们确定了每个片段可满足性问题的计算复杂性，其范围从 NLogSpace 到 PTime、NP 和 PSpace。
引用
@article{arxiv.1306.5088,
title = {The Complexity of Clausal Fragments of LTL},
author = {A. Artale and R. Kontchakov and V. Ryzhikov and M. Zakharyaschev},
journal= {arXiv preprint arXiv:1306.5088},
year = {2013}
}
备注
arXiv admin note: text overlap with arXiv:1209.5571