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