Dialogues games for classical logic (short paper)

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

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

    177 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