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

61 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 - http://www.scopus.com/inward/record.url?scp=84972534099&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84972534099&partnerID=8YFLogxK

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