Hybrid Logic and Its Proof-Theory

Abstract in pre-proceedings

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

Original languageEnglish
Title of host publicationLSFA 2012 Pre-proceedings
EditorsDelia Kesner, Petrucio Viana
Place of PublicationRio de Janeiro
Publication dateSep 2012
Publication statusPublished - Sep 2012

Cite this

Braüner, T. (2012). Hybrid Logic and Its Proof-Theory: Abstract in pre-proceedings. In D. Kesner, & P. Viana (Eds.), LSFA 2012 Pre-proceedings (pp. 1-1). Rio de Janeiro.