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