Hybrid Logic and Its Proof-Theory: Abstract in pre-proceedings

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

Original language	English
Title of host publication	LSFA 2012 Pre-proceedings
Editors	Delia Kesner, Petrucio Viana
Place of Publication	Rio de Janeiro
Publication date	Sept 2012
Pages	1-1
Publication status	Published - Sept 2012
Event	LSFA 2012: 7.Workshop on Logical and Semantic Frameworks with Applications - Rio de Janeiro, Brazil Duration: 29 Sept 2012 → 30 Sept 2012 Conference number: 7

Cite this

@inproceedings{a20ac91154c8406aac96d511916560b7,

title = "Hybrid Logic and Its Proof-Theory: Abstract in pre-proceedings",

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

year = "2012",

month = sep,

language = "English",

pages = "1--1",

editor = "Kesner, {Delia } and Viana, {Petrucio }",

booktitle = "LSFA 2012 Pre-proceedings",

note = "LSFA 2012 : 7.Workshop on Logical and Semantic Frameworks with Applications , LSFA 2012 ; Conference date: 29-09-2012 Through 30-09-2012",

}