A Tableau system for a first-order hybrid logic

Jens Ulrik Hansen

A Tableau system for a first-order hybrid logic

Jens Ulrik Hansen

Publikation: Konferencebidrag › Paper › Forskning › peer review

Originalsprog	Engelsk
Publikationsdato	2007
Antal sider	9
Status	Udgivet - 2007
Udgivet eksternt	Ja
Begivenhed	International Workshop on Hybrid Logic 2007 - Dublin, Irland Varighed: 6 aug. 2007 → …

Workshop

Workshop	International Workshop on Hybrid Logic 2007
Land/Område	Irland
By	Dublin
Periode	06/08/2007 → …
Andet	A 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

Adgang til dokumentet

http://folli.loria.fr/cds/2007/content/id27/id27.pdf#page=40

Citationsformater

@conference{443c854541c1416eb0488007039bed09,

title = "A Tableau system for a first-order hybrid logic",

author = "Hansen, \{Jens Ulrik\}",

note = "in Proceedings of the International Workshop on Hybrid Logic 2007 (HyLo 2007), ESSLLI 2007; International Workshop on Hybrid Logic 2007 ; Conference date: 06-08-2007",

year = "2007",

language = "English",

}