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

JLLI

Access to Document

@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",

}