| 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 |
| Series | Applied Logic Series |
|---|---|
| Number | 16 |
| ISSN | 1386-2790 |
Cite this
Braüner, T., Hasle, P., & Øhrstrøm, P. (2000). Determinism and the origins of temporal logic. In H. Barringer, M. Fisher, D. Gabbay, & G. Gough (Eds.), Advances in Temporal Logic (pp. 185-206). Kluwer Academic Publishers. Applied Logic Series, No. 16
@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",
pages = "185--206",
editor = "H. Barringer and M. Fisher and D. Gabbay and G. Gough",
booktitle = "Advances in Temporal Logic",
publisher = "Kluwer Academic Publishers",
}
Braüner, T, Hasle, P & Øhrstrøm, P 2000, Determinism and the origins of temporal logic. in H Barringer, M Fisher, D Gabbay & G Gough (eds), Advances in Temporal Logic. Kluwer Academic Publishers, Applied Logic Series, no. 16, pp. 185-206.
Determinism and the origins of temporal logic. / Braüner, Torben; Hasle, P.; Øhrstrøm, P.
Advances in Temporal Logic. ed. / H. Barringer; M. Fisher; D. Gabbay; G. Gough. Kluwer Academic Publishers, 2000. p. 185-206.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
TY - CHAP
T1 - Determinism and the origins of temporal logic
AU - Braüner, Torben
AU - Hasle, P.
AU - Øhrstrøm, P.
PY - 2000
Y1 - 2000
M3 - Book chapter
SP - 185
EP - 206
BT - Advances in Temporal Logic
A2 - Barringer, H.
A2 - Fisher, M.
A2 - Gabbay, D.
A2 - Gough, G.
PB - Kluwer Academic Publishers
ER -
Braüner T, Hasle P, Øhrstrøm P. Determinism and the origins of temporal logic. In Barringer H, Fisher M, Gabbay D, Gough G, editors, Advances in Temporal Logic. Kluwer Academic Publishers. 2000. p. 185-206. (Applied Logic Series; No. 16).