Hybrid Logic and Its Proof-Theory

Research output: Book/ReportDoctoral thesis

Original languageEnglish
Place of PublicationRoskilde
PublisherRoskilde Universitet
Number of pages318
Publication statusPublished - 2009
SeriesRoskilde Universitet. Computer Science. Computer Science Research Report
Number124
ISSN0109-9779

Cite this

Braüner, T. (2009). Hybrid Logic and Its Proof-Theory. Roskilde Universitet. Roskilde Universitet. Computer Science. Computer Science Research Report, No. 124