A cut-free gentzen formulation of the Modal Logic S5

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Logic journal of the IGPL (Print)
Vol/bind	8
Udgave nummer	5
Sider (fra-til)	629-643
ISSN	1367-0751
DOI	https://doi.org/10.1093/jigpal/8.5.629
Status	Udgivet - 2000

Link til dokument

@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 (Print)",

issn = "1367-0751",

publisher = "Oxford Academic",

number = "5",

}