No photo of Torben Braüner

Torben Braüner

ph.d. & dr.scient.

  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

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

Projects 2005 2018

Finished

Hybrid-Logical Proofs at Work in Cognitive Psychology

Braüner, T., Blackburn, P. R. & Polyanskaya, I.

VELUX FONDEN

01/01/2014 → 25/09/2018

Project: Research

HYLOCORE: Hybrid Logic, Computation, and Reasoning Methods

Braüner, T., Bolander, T., Goranko, V., Blackburn, P. & Areces, C.

The Danish Natural Science Research Council

01/01/2009 → 31/12/2013

Project: Research

HyLoMOL: Hybrid Logic Meets Other Logics

Braüner, T., Bolander, T., Villadsen, J., Blackburn, P. & de Paiva, V.

The Danish Natural Science Research Council

01/01/2005 → 31/12/2008

Project: Research