Natural deduction for first-order hybrid logic

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

Originalsprog	Engelsk
Titel	Workshop Proceedings of Fourth Workshop on Hybrid Logics
Redaktører	C. Areces, P. Blackburn, M. Marx, U. Sattler
Publikationsdato	2002
Sider	37-51
Status	Udgivet - 2002
Begivenhed	Fourth Workshop on Hybrid Logics - København, Danmark Varighed: 25 jul. 2002 → 25 jul. 2002 Konferencens nummer: 4

Konference	Fourth Workshop on Hybrid Logics
Nummer	4
Land/Område	Danmark
By	København
Periode	25/07/2002 → 25/07/2002

Citationsformater

@inproceedings{fb0c858052bd11dba4bc000ea68e967b,

title = "Natural deduction for first-order hybrid logic",

author = "Torben Bra{\"u}ner",

year = "2002",

language = "English",

pages = "37--51",

editor = "C. Areces and P. Blackburn and M. Marx and U. Sattler",

booktitle = "Workshop Proceedings of Fourth Workshop on Hybrid Logics",

note = "Natural deduction for first-order hybrid logic ; Conference date: 25-07-2002 Through 25-07-2002",

}

TY - GEN

T1 - Natural deduction for first-order hybrid logic

AU - Braüner, Torben

N1 - Conference code: 4

PY - 2002

Y1 - 2002

M3 - Article in proceedings

SP - 37

EP - 51

BT - Workshop Proceedings of Fourth Workshop on Hybrid Logics

A2 - Areces, C.

A2 - Blackburn, P.

A2 - Marx, M.

A2 - Sattler, U.

T2 - Natural deduction for first-order hybrid logic

Y2 - 25 July 2002 through 25 July 2002

ER -