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
Pages1-1
Publication statusPublished - Sep 2012

Cite this