Originalsprog | Engelsk |
---|---|
Tidsskrift | Logic journal of the IGPL (Print) |
Vol/bind | 8 |
Udgave nummer | 5 |
Sider (fra-til) | 629-643 |
ISSN | 1367-0751 |
DOI | |
Status | Udgivet - 2000 |
A cut-free gentzen formulation of the Modal Logic S5
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review