Originalsprog | Engelsk |
---|---|
Tidsskrift | Journal of Logic and Computation |
Vol/bind | 14 |
Udgave nummer | 3 |
Sider (fra-til) | 329-353 |
ISSN | 0955-792X |
Status | Udgivet - 2004 |
Natural Deduction for Hybrid Logic
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review