Photo of Torben Braüner

Torben Braüner

ph.d. & dr.scient.

  • Universitetsvej 1, 10.1

    DK-4000 Roskilde

    Denmark

19992020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference abstract in proceedings
2001

Natural deduction for hybrid logic (extended abstract)

Braüner, T., 2001, Workshop Proceedings of Methods for Modalities 2. Areces, C. & Rijke, M. D. (eds.). University of Amsterdam

Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearch