| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Journal of Applied Logic |
| Vol/bind | 4 |
| Udgave nummer | 3 |
| Sider (fra-til) | 231-255 |
| Antal sider | 25 |
| ISSN | 1570-8683 |
| Status | Udgivet - 2006 |
Intuitionistic Hybrid Logic
Torben Braüner, Valeria de Paiva
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review