A tableau for general linear temporal logic

    Research output: Contribution to journalArticle

    4 Citations (Scopus)
    14 Downloads (Pure)
    Original languageEnglish
    Pages (from-to)1057-1080
    JournalJournal of Logic and Computation
    Volume1
    DOIs
    Publication statusPublished - 2013

    Cite this