Game-theoretic semantics for alternating-time temporal logic

V. Goranko, A. Kuusisto, R Rönnholm

    Research output: Contribution to journalArticleScientificpeer-review

    5 Citations (Scopus)
    Original languageEnglish
    Article number17
    JournalACM TRANSACTIONS ON COMPUTATIONAL LOGIC
    Volume19
    Issue number3
    DOIs
    Publication statusPublished - 2018
    Publication typeA1 Journal article-refereed

    Keywords

    • Argumentation-based dialogue and protocols
    • Logic and game theory
    • Logics for agents and multiagent systems

    Publication forum classification

    • Publication forum level 2

    Cite this