The decision problem for linear temporal logic

John P. Burgess, Yuri Gurevich

Research output: Contribution to journalArticlepeer-review

60 Scopus citations
Original languageEnglish (US)
Pages (from-to)115-128
Number of pages14
JournalNotre Dame Journal of Formal Logic
Volume26
Issue number2
DOIs
StatePublished - Apr 1985

All Science Journal Classification (ASJC) codes

  • Logic

Fingerprint

Dive into the research topics of 'The decision problem for linear temporal logic'. Together they form a unique fingerprint.

Cite this