Determinism and the origins of temporal logic

Torben Braüner, P. Hasle, P. Øhrstrøm

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

Original language	English
Title of host publication	Advances in Temporal Logic
Editors	H. Barringer, M. Fisher, D. Gabbay, G. Gough
Publisher	Kluwer Academic Publishers
Publication date	2000
Pages	185-206
Publication status	Published - 2000

Cite this

@inbook{0d6b3f8055cd11da99c9000ea68e967b,

title = "Determinism and the origins of temporal logic",

author = "Torben Bra{\"u}ner and P. Hasle and P. {\O}hrstr{\o}m",

year = "2000",

language = "English",

series = "Applied Logic Series",

publisher = "Kluwer Academic Publishers",

number = "16",

pages = "185--206",

editor = "H. Barringer and M. Fisher and D. Gabbay and G. Gough",

booktitle = "Advances in Temporal Logic",

}