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	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 = "null ; Conference date: 25-05-1999 Through 28-05-1999",

}