Propositional temporal logics: decidability and completeness

Abstract

Journal Article Propositional temporal logics: decidability and completeness Get access O Lichtenstein, O Lichtenstein Search for other works by this author on: Oxford Academic Google Scholar A Pneuli A Pneuli Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, Volume 8, Issue 1, January 2000, Pages 55–85, https://doi.org/10.1093/jigpal/8.1.55 Published: 01 January 2000