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

Research output: Contribution to journalJournal articleResearchpeer-review

Original languageEnglish
JournalJournal of Applied Non-Classical Logics
Volume17
Issue number4
Pages (from-to)521-543
Number of pages23
ISSN1166-3081
Publication statusPublished - 2007

Cite this

@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.

In: Journal of Applied Non-Classical Logics, Vol. 17, No. 4, 2007, p. 521-543.

Research output: Contribution to journalJournal articleResearchpeer-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 -