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

Research output: Contribution to journalConference articleResearchpeer-review

Original languageEnglish
JournalElectronic Proceedings in Theoretical Computer Science
Volume113
Pages (from-to)3-4
ISSN2075-2180
DOIs
Publication statusPublished - 2013

Cite this

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

}

A very brief introduction to hybrid logic and hybrid-logical proof-theory : Extended abstract of invited talk. / Braüner, Torben.

In: Electronic Proceedings in Theoretical Computer Science, Vol. 113, 2013, p. 3-4.

Research output: Contribution to journalConference articleResearchpeer-review

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

VL - 113

SP - 3

EP - 4

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

SN - 2075-2180

ER -