A cut-free gentzen formulation of the modal logic S5

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    Original languageEnglish
    Title of host publicationProceedings of 6th Workshop on Logic, Language, Information and Computation
    EditorsR. de Queiroz, W. Carnielli
    Publication date1999
    Pages79-88
    Publication statusPublished - 1999
    Event6th Workshop on Logic, Language, Information and Computation (WoLLIC'99) - Rio de Janeiro, Brazil
    Duration: 25 May 199928 May 1999
    Conference number: 6

    Conference

    Conference6th Workshop on Logic, Language, Information and Computation (WoLLIC'99)
    Number6
    CountryBrazil
    CityRio de Janeiro
    Period25/05/199928/05/1999

    Cite this