Linear, Branching Time and Joint Closure Semantics for Temporal Logic

J. Engelfriet; J. Treur

doi:10.1023/A:1019999621456

Linear, Branching Time and Joint Closure Semantics for Temporal Logic

J. Engelfriet, J. Treur

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	389-425
Journal	Journal of Logic, Language and Information
Volume	11
DOIs	https://doi.org/10.1023/A:1019999621456
Publication status	Published - 2002

Bibliographical note

JLLI

Access to Document

10.1023/A:1019999621456

Persistent URL (handle)

Persistent link

Cite this

@article{2dc892b03202487ca6361fba90af7363,

title = "Linear, Branching Time and Joint Closure Semantics for Temporal Logic",

author = "J. Engelfriet and J. Treur",

note = "JLLI ",

year = "2002",

doi = "10.1023/A:1019999621456",

language = "English",

volume = "11",

pages = "389--425",

journal = "Journal of Logic, Language and Information",

issn = "0925-8531",

publisher = "Springer Netherlands",

}

TY - JOUR

T1 - Linear, Branching Time and Joint Closure Semantics for Temporal Logic

AU - Engelfriet, J.

AU - Treur, J.

N1 - JLLI

PY - 2002

Y1 - 2002

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

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

U2 - 10.1023/A:1019999621456

DO - 10.1023/A:1019999621456

M3 - Article

SN - 0925-8531

VL - 11

SP - 389

EP - 425

JO - Journal of Logic, Language and Information

JF - Journal of Logic, Language and Information

ER -

Linear, Branching Time and Joint Closure Semantics for Temporal Logic

Bibliographical note

Access to Document

Persistent URL (handle)

Other files and links

Cite this