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

Hansen, J. U. (2007). A Tableau system for a first-order hybrid logic. Afhandling præsenteret på International Workshop on Hybrid Logic 2007, Dublin, Irland.
Hansen, Jens Ulrik. / A Tableau system for a first-order hybrid logic. Afhandling præsenteret på International Workshop on Hybrid Logic 2007, Dublin, Irland.9 s.
@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; null ; Conference date: 06-08-2007",
year = "2007",
language = "English",

}

Hansen, JU 2007, 'A Tableau system for a first-order hybrid logic' Paper fremlagt ved International Workshop on Hybrid Logic 2007, Dublin, Irland, 06/08/2007, .

A Tableau system for a first-order hybrid logic. / Hansen, Jens Ulrik.

2007. Afhandling præsenteret på International Workshop on Hybrid Logic 2007, Dublin, Irland.

Publikation: KonferencebidragPaperForskningpeer review

TY - CONF

T1 - A Tableau system for a first-order hybrid logic

AU - Hansen, Jens Ulrik

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

PY - 2007

Y1 - 2007

M3 - Paper

ER -

Hansen JU. A Tableau system for a first-order hybrid logic. 2007. Afhandling præsenteret på International Workshop on Hybrid Logic 2007, Dublin, Irland.