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