Natural deduction for hybrid logic (extended abstract)

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

Original language	English
Title of host publication	Workshop Proceedings of Methods for Modalities 2
Editors	C. Areces, M. de Rijke
Publisher	University of Amsterdam
Publication date	2001
Publication status	Published - 2001
Event	Methods for Modalities - Amsterdam, Netherlands Duration: 29 Nov 2001 → 30 Nov 2001 Conference number: 2

KB link

@inbook{fb36a2c052bd11dba4bc000ea68e967b,

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

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

year = "2001",

language = "English",

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 - Conference abstract in 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 -