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

Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Electronic Proceedings in Theoretical Computer Science
Vol/bind	113
Sider (fra-til)	3-4
ISSN	2075-2180
DOI	https://doi.org/10.4204/EPTCS.113
Status	Udgivet - 2013

Link til dokument

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