Hybrid Logic and its Proof-Theory

Research output: Book/ReportBookResearchpeer-review

Original languageEnglish
PublisherSpringer Science+Business Media
Number of pages231
ISBN (Print)978-94-007-0001-7
Publication statusPublished - 2011
SeriesApplied Logic Series
Volume37
ISSN1386-2790

Cite this

Braüner, T. (2011). Hybrid Logic and its Proof-Theory. Springer Science+Business Media. Applied Logic Series, Vol.. 37
Braüner, Torben. / Hybrid Logic and its Proof-Theory. Springer Science+Business Media, 2011. 231 p. (Applied Logic Series, Vol. 37).
@book{8b6f92de74d6432bac2420f604ae7cbc,
title = "Hybrid Logic and its Proof-Theory",
author = "Torben Bra{\"u}ner",
year = "2011",
language = "English",
isbn = "978-94-007-0001-7",
publisher = "Springer Science+Business Media",
address = "Germany",

}

Braüner, T 2011, Hybrid Logic and its Proof-Theory. Applied Logic Series, vol. 37, Springer Science+Business Media.

Hybrid Logic and its Proof-Theory. / Braüner, Torben.

Springer Science+Business Media, 2011. 231 p.

Research output: Book/ReportBookResearchpeer-review

TY - BOOK

T1 - Hybrid Logic and its Proof-Theory

AU - Braüner, Torben

PY - 2011

Y1 - 2011

M3 - Book

SN - 978-94-007-0001-7

BT - Hybrid Logic and its Proof-Theory

PB - Springer Science+Business Media

ER -

Braüner T. Hybrid Logic and its Proof-Theory. Springer Science+Business Media, 2011. 231 p. (Applied Logic Series, Vol. 37).