H2020 projects about "sequent"
The page lists 2 projects related to the topic "sequent".
| # |
achronym |
title |
year |
| 1 |
PAnaMoL |
Proof-theoretic Analysis of Modal Logics |
2015 |
| 2 |
SYSMICS |
Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics. |
2016 |
