Projects per year
Projects
- 3 Finished
Search results
-
Finished
Hybrid-Logical Proofs at Work in Cognitive Psychology
Braüner, T., Blackburn, P. R. & Polyanskaya, I.
01/01/2014 → 30/04/2019
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