Morgan Deters

Temporal logics on strings with prefix relation

2015 · Journal of Logic and Computation

We show that linear-time temporal logic over concrete domains made of finite strings and the prefix relation admits a PS pace -complete satisfiability problem. Actually, we extend a known result with the concrete domain made …