An Axiomatization of Full Computation Tree Logic

    Research output: Contribution to journalArticle

    83 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)1011-1057
    JournalThe Journal of Symbolic Logic
    Volume66
    Issue number3
    Publication statusPublished - 2001

    Cite this