A Tableau system for a first-order hybrid logic

Research output: Contribution to conferencePaperResearchpeer-review

Original languageEnglish
Publication date2007
Number of pages9
Publication statusPublished - 2007
Externally publishedYes
EventInternational Workshop on Hybrid Logic 2007 - Dublin, Ireland
Duration: 6 Aug 2007 → …

Workshop

WorkshopInternational Workshop on Hybrid Logic 2007
CountryIreland
CityDublin
Period06/08/2007 → …
OtherA workshop affiliated with the European Summer School in Logic, Language, and Information (ESSLLI 2007)

Cite this