Dialogues games for classical logic (short paper)

J. Alama, A. Knoks, S.L. Uckelman

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

    126 Downloads (Pure)
    Original languageEnglish
    Title of host publicationTableaux 2011
    Subtitle of host publicationWorkshops, tutorials and short papers
    EditorsM. Giese, R. Kuznets
    Place of PublicationBern
    PublisherUniversiteit Bern
    Pages82-86
    Number of pages4
    Publication statusPublished - 2011

    Cite this

    Alama, J., Knoks, A., & Uckelman, S. L. (2011). Dialogues games for classical logic (short paper). In M. Giese, & R. Kuznets (Eds.), Tableaux 2011: Workshops, tutorials and short papers (pp. 82-86). Bern: Universiteit Bern.
    Alama, J. ; Knoks, A. ; Uckelman, S.L. / Dialogues games for classical logic (short paper). Tableaux 2011: Workshops, tutorials and short papers. editor / M. Giese ; R. Kuznets. Bern : Universiteit Bern, 2011. pp. 82-86
    @inbook{216875a0fb82409b81c72a7d82e05379,
    title = "Dialogues games for classical logic (short paper)",
    author = "J. Alama and A. Knoks and S.L. Uckelman",
    note = "Pagination: 4",
    year = "2011",
    language = "English",
    pages = "82--86",
    editor = "M. Giese and R. Kuznets",
    booktitle = "Tableaux 2011",
    publisher = "Universiteit Bern",

    }

    Alama, J, Knoks, A & Uckelman, SL 2011, Dialogues games for classical logic (short paper). in M Giese & R Kuznets (eds), Tableaux 2011: Workshops, tutorials and short papers. Universiteit Bern, Bern, pp. 82-86.

    Dialogues games for classical logic (short paper). / Alama, J.; Knoks, A.; Uckelman, S.L.

    Tableaux 2011: Workshops, tutorials and short papers. ed. / M. Giese; R. Kuznets. Bern : Universiteit Bern, 2011. p. 82-86.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

    TY - CHAP

    T1 - Dialogues games for classical logic (short paper)

    AU - Alama, J.

    AU - Knoks, A.

    AU - Uckelman, S.L.

    N1 - Pagination: 4

    PY - 2011

    Y1 - 2011

    M3 - Chapter

    SP - 82

    EP - 86

    BT - Tableaux 2011

    A2 - Giese, M.

    A2 - Kuznets, R.

    PB - Universiteit Bern

    CY - Bern

    ER -

    Alama J, Knoks A, Uckelman SL. Dialogues games for classical logic (short paper). In Giese M, Kuznets R, editors, Tableaux 2011: Workshops, tutorials and short papers. Bern: Universiteit Bern. 2011. p. 82-86