A Tableau system for a first-order hybrid logic

Jens Ulrik Hansen

Publikation: Konferencebidrag › Paper › Forskning › peer review

OriginalsprogEngelsk
Publikationsdato2007
Antal sider9
StatusUdgivet - 2007
Udgivet eksterntJa
BegivenhedInternational Workshop on Hybrid Logic 2007 - Dublin, Irland
Varighed: 6 aug. 2007 → …

Workshop

WorkshopInternational Workshop on Hybrid Logic 2007
Land/OmrådeIrland
ByDublin
Periode06/08/2007 → …
AndetA workshop affiliated with the European Summer School in Logic, Language, and Information (ESSLLI 2007)

Bibliografisk note

in Proceedings of the International Workshop on Hybrid Logic 2007 (HyLo 2007), ESSLLI 2007

Link til dokument

Citer dette