具有亚光速可达关系的二维 Minkowski 时空时态逻辑是可判定的
逻辑
2020-09-29 v1 计算机科学中的逻辑
摘要
我们主要研究由二维 Minkowski 时空与非自反可达关系“可用亚光速信号到达”构成的 Kripke 框架。我们证明，在基本时态语言中，该框架上的有效式集合是可判定的。我们进一步将其精炼为 PSPACE 完全。在这两种情况下，相应自反框架的相同结果都立即得出。通过稍多的工作，我们得到实线上区间的 Halpern-Shoham 逻辑在两种不同模态组合下的有效式是 PSPACE 完全的。
引用
@article{arxiv.1806.09760,
title = {The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable},
author = {Robin Hirsch and Brett McLean},
journal= {arXiv preprint arXiv:1806.09760},
year = {2020}
}
备注
20 pages