The decision problem for linear temporal logic

John P. Burgess; Yuri Gurevich

doi:10.1305/ndjfl/1093870820

The decision problem for linear temporal logic

John P. Burgess
, Yuri Gurevich

Philosophy

Research output: Contribution to journal › Article › peer-review

63 Scopus citations

Original language	English (US)
Pages (from-to)	115-128
Number of pages	14
Journal	Notre Dame Journal of Formal Logic
Volume	26
Issue number	2
DOIs	https://doi.org/10.1305/ndjfl/1093870820
State	Published - Apr 1985

All Science Journal Classification (ASJC) codes

Logic

Access to Document

10.1305/ndjfl/1093870820

Cite this

@article{bb4f8c56e2534ee1a3cbf6f20d54b905,

title = "The decision problem for linear temporal logic",

author = "Burgess, \{John P.\} and Yuri Gurevich",

year = "1985",

month = apr,

doi = "10.1305/ndjfl/1093870820",

language = "English (US)",

volume = "26",

pages = "115--128",

journal = "Notre Dame Journal of Formal Logic",

issn = "0029-4527",

publisher = "Duke University Press",

number = "2",

}

TY - JOUR

T1 - The decision problem for linear temporal logic

AU - Burgess, John P.

AU - Gurevich, Yuri

PY - 1985/4

Y1 - 1985/4

UR - https://www.scopus.com/pages/publications/84972534099

UR - https://www.scopus.com/pages/publications/84972534099#tab=citedBy

U2 - 10.1305/ndjfl/1093870820

DO - 10.1305/ndjfl/1093870820

M3 - Article

AN - SCOPUS:84972534099

SN - 0029-4527

VL - 26

SP - 115

EP - 128

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

IS - 2

ER -

The decision problem for linear temporal logic

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this