Dialogues games for classical logic (short paper)

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

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

    134 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