Why does the Proof-Theory of Hybrid Logic Work so Well?

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

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

@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",

}