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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftJournal of Applied Non-Classical Logics
Vol/bind17
Udgave nummer4
Sider (fra-til)521-543
Antal sider23
ISSN1166-3081
StatusUdgivet - 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",

}

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 tidsskriftTidsskriftartikelForskningpeer 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 -