| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Journal of Logic, Language and Information |
| Vol/bind | 14 |
| Sider (fra-til) | 173-198 |
| ISSN | 0925-8531 |
| Status | Udgivet - 2005 |
Natural Deduction for First-Order Hybrid Logic
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review