Temporal logics on strings with prefix relation

DOI10.1093/logcom/exv028zbMath1353.68176OpenAlexW2342152646MaRDI QIDQ2826034

Morgan Deters, Stéphane P. Demri

Publication date: 7 October 2016

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/2d4f9006f77ef6297eafc791eb4ffa8204feb231

zbMATH Keywords

complexitystring theorytranslationtemporal logicprefix relation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Algorithms on strings (68W32)

Related Items

Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints ⋮ Satisfiability of ECTL* with Tree Constraints ⋮ Satisfiability of \(\mathrm{ECTL}^*\) with local tree constraints ⋮ Unnamed Item