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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftJournal of Applied Non-Classical Logics
Vol/bind17
Udgave nummer4
Sider (fra-til)521-543
Antal sider23
ISSN1166-3081
StatusUdgivet - 2007

Citer dette