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