Natural deduction for hybrid logic (extended abstract)

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

Originalsprog	Dansk
Titel	Workshop Proceedings of Methods for Modalities 2
Redaktører	C. Areces, M. de Rijke
Forlag	University of Amsterdam
Publikationsdato	2001
Status	Udgivet - 2001
Begivenhed	Methods for Modalities - Amsterdam, Holland Varighed: 29 nov. 2001 → 30 nov. 2001 Konferencens nummer: 2

Citer dette

@inbook{fb36a2c052bd11dba4bc000ea68e967b,

title = "Natural deduction for hybrid logic (extended abstract)",

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

year = "2001",

language = "Dansk",

editor = "C. Areces and Rijke, {M. de}",

booktitle = "Workshop Proceedings of Methods for Modalities 2",

publisher = "University of Amsterdam",

note = "Methods for Modalities ; Conference date: 29-11-2001 Through 30-11-2001",

}

TY - ABST

T1 - Natural deduction for hybrid logic (extended abstract)

AU - Braüner, Torben

N1 - Conference code: 2

PY - 2001

Y1 - 2001

M3 - Konferenceabstrakt i proceedings

BT - Workshop Proceedings of Methods for Modalities 2

A2 - Areces, C.

A2 - Rijke, M. de

PB - University of Amsterdam

T2 - Methods for Modalities

Y2 - 29 November 2001 through 30 November 2001

ER -