Semipositive LTL with an Uninterpreted Past Operator

DOI10.1093/JIGPAL/JZI015MaRDI QIDQ5693114zbMATH OpenOpenAlexFDO

Authors 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

decision processeslinear temporal logic

Mathematics Subject Classification ID

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

Recommendations

• LTL goal specifications revisited
• The planning spectrum - one, two, three, infinity
• \textit{Once} and \textit{for all}
• scientific article; zbMATH DE number 1302385
• Regular linear temporal logic with past

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5693114)