General Information
Project Title
Proof Theoretic Analysis of Modal Logics
Funding Organisation
European Union under the Horizon 2020 framework
Project Type
MSCA-IF-2014-EF - Marie Skłodowska-Curie Individual Fellowships (IF-EF)
Participants
- Björn Lellmann (as the fellow)
- Agata Ciabattoni (as Scientist in Charge)
Duration
May 2015 - April 2017