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

Hansen, J. U. (2007). A Tableau system for a first-order hybrid logic. Paper presented at International Workshop on Hybrid Logic 2007, Dublin, Ireland. http://folli.loria.fr/cds/2007/content/id27/id27.pdf#page=40