The decision problem for linear temporal logic

From MaRDI portal
Publication:1062669

DOI10.1305/ndjfl/1093870820zbMath0573.03004OpenAlexW1990865424MaRDI QIDQ1062669

John P. Burgess, Yuri Gurevich

Publication date: 1985

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870820




Related Items (18)




This page was built for publication: The decision problem for linear temporal logic