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	Undefined/Unknown
Pages (from-to)	389-425
Number of pages	37
Journal	Journal of Logic, Language and Information
Volume	11
Publication status	Published - 2002

Cite this

@article{b3689205c9684c458b98510ba3f63c8d,

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

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

year = "2002",

language = "Undefined/Unknown",

volume = "11",

pages = "389--425",

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

issn = "0925-8531",

publisher = "Springer Netherlands",

}