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
    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). Universiteit Bern.