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

    Braüner, T. (1999). A cut-free gentzen formulation of the modal logic S5. In R. D. Queiroz, & W. Carnielli (Eds.), Proceedings of 6th Workshop on Logic, Language, Information and Computation (pp. 79-88)
    Braüner, Torben. / A cut-free gentzen formulation of the modal logic S5. Proceedings of 6th Workshop on Logic, Language, Information and Computation. editor / R. de Queiroz ; W. Carnielli. 1999. pp. 79-88
    @inproceedings{f2631d4052bd11dba4bc000ea68e967b,
    title = "A cut-free gentzen formulation of the modal logic S5",
    author = "Torben Bra{\"u}ner",
    year = "1999",
    language = "English",
    pages = "79--88",
    editor = "Queiroz, {R. de} and W. Carnielli",
    booktitle = "Proceedings of 6th Workshop on Logic, Language, Information and Computation",

    }

    Braüner, T 1999, A cut-free gentzen formulation of the modal logic S5. in RD Queiroz & W Carnielli (eds), Proceedings of 6th Workshop on Logic, Language, Information and Computation. pp. 79-88, Rio de Janeiro, Brazil, 25/05/1999.

    A cut-free gentzen formulation of the modal logic S5. / Braüner, Torben.

    Proceedings of 6th Workshop on Logic, Language, Information and Computation. ed. / R. de Queiroz; W. Carnielli. 1999. p. 79-88.

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

    TY - GEN

    T1 - A cut-free gentzen formulation of the modal logic S5

    AU - Braüner, Torben

    PY - 1999

    Y1 - 1999

    M3 - Article in proceedings

    SP - 79

    EP - 88

    BT - Proceedings of 6th Workshop on Logic, Language, Information and Computation

    A2 - Queiroz, R. de

    A2 - Carnielli, W.

    ER -

    Braüner T. A cut-free gentzen formulation of the modal logic S5. In Queiroz RD, Carnielli W, editors, Proceedings of 6th Workshop on Logic, Language, Information and Computation. 1999. p. 79-88