A cut-free gentzen formulation of the Modal Logic S5

Research output: Contribution to journal › Journal article › Research › peer-review

Original language	English
Journal	Logic journal of the IGPL (Print)
Volume	8
Issue number	5
Pages (from-to)	629-643
ISSN	1367-0751
DOIs	https://doi.org/10.1093/jigpal/8.5.629
Publication status	Published - 2000

Link to document

@article{c409450052bd11dba4bc000ea68e967b,

title = "A cut-free gentzen formulation of the Modal Logic S5",

author = "Torben Bra{\"u}ner",

year = "2000",

doi = "10.1093/jigpal/8.5.629",

language = "English",

volume = "8",

pages = "629--643",

journal = "Logic Journal of the IGPL",

issn = "1367-0751",

publisher = "Oxford Academic",

number = "5",

}