| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Bulletin of the Section of Logic |
| ISSN | 0138-0680 |
| Status | Accepteret/In press - 2020 |
Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review