Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time

Valentin Goranko, Dmitry Shkatov

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    64 Downloads (Pure)
    Original languageEnglish
    Title of host publicationProceedings of the 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations
    EditorsMatteo Baldoni
    PublisherRWTH Aachen University
    Publication date2009
    Pages25
    Publication statusPublished - 2009
    Event2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations - Torino, Italy
    Duration: 1 Jan 2009 → …
    Conference number: 2

    Conference

    Conference2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations
    Number2
    CityTorino, Italy
    Period01/01/2009 → …
    SeriesCEUR Workshop Proceedings
    Numbervol. 494
    ISSN1613-0073

    Cite this