Flat fragments of CTL and CTL* : separating the expressive and distinguishing powers

D.R. Dams

    Research output: Contribution to journalArticleAcademicpeer-review

    Abstract

    We study both the expressive and the distinguishing powers of at temporal logics. These are fragments obtained by restricting the ??rst argument of the Until operator to propositional formulae. Both the linear-time and the branching-time cases are considered.
    Original languageEnglish
    Pages (from-to)55-78
    Number of pages24
    JournalLogic Journal of the IGPL
    Volume7
    Issue number1
    DOIs
    Publication statusPublished - 1999

    Fingerprint

    Dive into the research topics of 'Flat fragments of CTL and CTL* : separating the expressive and distinguishing powers'. Together they form a unique fingerprint.

    Cite this