Natural deduction for first-order hybrid logic

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

Original language	English
Title of host publication	Workshop Proceedings of Fourth Workshop on Hybrid Logics
Editors	C. Areces, P. Blackburn, M. Marx, U. Sattler
Publication date	2002
Pages	37-51
Publication status	Published - 2002
Event	Natural deduction for first-order hybrid logic - København, Denmark Duration: 25 Jul 2002 → 25 Jul 2002 Conference number: 4

Conference	Natural deduction for first-order hybrid logic
Number	4
Country/Territory	Denmark
City	København
Period	25/07/2002 → 25/07/2002

Cite this

@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 -