A very brief introduction to hybrid logic and hybrid-logical proof-theory: Extended abstract of invited talk

Research output: Contribution to journal › Conference article › Research › peer-review

Original language	English
Journal	Electronic Proceedings in Theoretical Computer Science
Volume	113
Pages (from-to)	3-4
ISSN	2075-2180
DOIs	https://doi.org/10.4204/EPTCS.113
Publication status	Published - 2013

Link to document

@inproceedings{29d132e9774a4eb185135f170fe2adfa,

title = "A very brief introduction to hybrid logic and hybrid-logical proof-theory: Extended abstract of invited talk",

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

year = "2013",

doi = "10.4204/EPTCS.113",

language = "English",

volume = "113",

pages = "3--4",

journal = "Electronic Proceedings in Theoretical Computer Science",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - GEN

T1 - A very brief introduction to hybrid logic and hybrid-logical proof-theory

T2 - Extended abstract of invited talk

AU - Braüner, Torben

PY - 2013

Y1 - 2013

U2 - 10.4204/EPTCS.113

DO - 10.4204/EPTCS.113

M3 - Conference article

SN - 2075-2180

VL - 113

SP - 3

EP - 4

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

ER -