A Tableau system for a first-order hybrid logic

Publikation: KonferencebidragPaperForskningpeer 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
LandIrland
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

Citer dette