A cut-free gentzen formulation of the modal logic S5

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    OriginalsprogEngelsk
    TitelProceedings of 6th Workshop on Logic, Language, Information and Computation
    RedaktørerR. de Queiroz, W. Carnielli
    Publikationsdato1999
    Sider79-88
    StatusUdgivet - 1999
    Begivenhed6th Workshop on Logic, Language, Information and Computation (WoLLIC'99) - Rio de Janeiro, Brasilien
    Varighed: 25 maj 199928 maj 1999
    Konferencens nummer: 6

    Konference

    Konference6th Workshop on Logic, Language, Information and Computation (WoLLIC'99)
    Nummer6
    LandBrasilien
    ByRio de Janeiro
    Periode25/05/199928/05/1999

    Citer dette

    Braüner, T. (1999). A cut-free gentzen formulation of the modal logic S5. I R. D. Queiroz, & W. Carnielli (red.), Proceedings of 6th Workshop on Logic, Language, Information and Computation (s. 79-88)