A cut-free gentzen formulation of the modal logic S5

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

Original language	English
Title of host publication	Proceedings of 6th Workshop on Logic, Language, Information and Computation
Editors	R. de Queiroz, W. Carnielli
Publication date	1999
Pages	79-88
Publication status	Published - 1999
Event	6th Workshop on Logic, Language, Information and Computation (WoLLIC'99) - Rio de Janeiro, Brazil Duration: 25 May 1999 → 28 May 1999 Conference number: 6

Conference	6th Workshop on Logic, Language, Information and Computation (WoLLIC'99)
Number	6
Country/Territory	Brazil
City	Rio de Janeiro
Period	25/05/1999 → 28/05/1999

Cite this

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