Determinism and the origins of temporal logic

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

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    Original languageEnglish
    Title of host publicationAdvances in Temporal Logic
    EditorsH. Barringer, M. Fisher, D. Gabbay, G. Gough
    PublisherKluwer Academic Publishers
    Publication date2000
    Pages185-206
    Publication statusPublished - 2000
    SeriesApplied Logic Series
    Number16
    ISSN1386-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
    Braüner, Torben ; Hasle, P. ; Øhrstrøm, P. / Determinism and the origins of temporal logic. Advances in Temporal Logic. editor / H. Barringer ; M. Fisher ; D. Gabbay ; G. Gough. Kluwer Academic Publishers, 2000. pp. 185-206 (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 (Applied Logic Series; No. 16).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    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).