A cut-free gentzen formulation of the modal logic S5

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

Originalsprog	Engelsk
Titel	Proceedings of 6th Workshop on Logic, Language, Information and Computation
Redaktører	R. de Queiroz, W. Carnielli
Publikationsdato	1999
Sider	79-88
Status	Udgivet - 1999
Begivenhed	6th Workshop on Logic, Language, Information and Computation (WoLLIC'99) - Rio de Janeiro, Brasilien Varighed: 25 maj 1999 → 28 maj 1999 Konferencens nummer: 6

Konference	6th Workshop on Logic, Language, Information and Computation (WoLLIC'99)
Nummer	6
Land/Område	Brasilien
By	Rio de Janeiro
Periode	25/05/1999 → 28/05/1999

Citer dette

@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",

note = "6th Workshop on Logic, Language, Information and Computation (WoLLIC'99) ; Conference date: 25-05-1999 Through 28-05-1999",

}

TY - GEN

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

AU - Braüner, Torben

N1 - Conference code: 6

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.

T2 - 6th Workshop on Logic, Language, Information and Computation (WoLLIC'99)

Y2 - 25 May 1999 through 28 May 1999

ER -