| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Journal of Applied Non-Classical Logics |
| Vol/bind | 17 |
| Udgave nummer | 4 |
| Sider (fra-til) | 521-543 |
| Antal sider | 23 |
| ISSN | 1166-3081 |
| Status | Udgivet - 2007 |
Citer dette
Braüner, T. (2007). Why does the Proof-Theory of Hybrid Logic Work so Well? Journal of Applied Non-Classical Logics, 17(4), 521-543.
@article{d90817b0a58211dc9a76000ea68e967b,
title = "Why does the Proof-Theory of Hybrid Logic Work so Well?",
author = "Torben Bra{\"u}ner",
year = "2007",
language = "English",
volume = "17",
pages = "521--543",
journal = "Journal of Applied Non-Classical Logics",
issn = "1166-3081",
publisher = "Taylor & Francis",
number = "4",
}
Braüner, T 2007, 'Why does the Proof-Theory of Hybrid Logic Work so Well?' Journal of Applied Non-Classical Logics, bind 17, nr. 4, s. 521-543.
Why does the Proof-Theory of Hybrid Logic Work so Well? / Braüner, Torben.
I: Journal of Applied Non-Classical Logics, Bind 17, Nr. 4, 2007, s. 521-543.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
TY - JOUR
T1 - Why does the Proof-Theory of Hybrid Logic Work so Well?
AU - Braüner, Torben
PY - 2007
Y1 - 2007
M3 - Journal article
VL - 17
SP - 521
EP - 543
JO - Journal of Applied Non-Classical Logics
JF - Journal of Applied Non-Classical Logics
SN - 1166-3081
IS - 4
ER -