Semipositive LTL with an Uninterpreted Past Operator

DOI10.1093/jigpal/jzi015zbMath1084.03014OpenAlexW1965243368MaRDI QIDQ5693114

John K. Slaney

Publication date: 28 September 2005

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzi015

zbMATH Keywords

linear temporal logicdecision processes

Mathematics Subject Classification ID

Logic in computer science (03B70) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Temporal logic (03B44)

This page was built for publication: Semipositive LTL with an Uninterpreted Past Operator