| Original language | English |
|---|---|
| Journal | Logic journal of the IGPL (Print) |
| Volume | 8 |
| Issue number | 5 |
| Pages (from-to) | 629-643 |
| ISSN | 1367-0751 |
| DOIs | |
| Publication status | Published - 2000 |
Cite this
@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",
}
Braüner, T 2000, 'A cut-free gentzen formulation of the Modal Logic S5' Logic journal of the IGPL (Print), vol. 8, no. 5, pp. 629-643. https://doi.org/10.1093/jigpal/8.5.629
A cut-free gentzen formulation of the Modal Logic S5. / Braüner, Torben.
In: Logic journal of the IGPL (Print), Vol. 8, No. 5, 2000, p. 629-643.Research output: Contribution to journal › Journal article › Research › peer-review
TY - JOUR
T1 - A cut-free gentzen formulation of the Modal Logic S5
AU - Braüner, Torben
PY - 2000
Y1 - 2000
U2 - 10.1093/jigpal/8.5.629
DO - 10.1093/jigpal/8.5.629
M3 - Journal article
VL - 8
SP - 629
EP - 643
JO - Logic Journal of the IGPL
JF - Logic Journal of the IGPL
SN - 1367-0751
IS - 5
ER -