| Original language | English |
|---|---|
| Journal | Bulletin of the Section of Logic |
| ISSN | 0138-0680 |
| Publication status | Accepted/In press - 2020 |
Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
Research output: Contribution to journal › Journal article › peer-review