Proof-theoretic Analysis of Modal Logics


Project Acronym Projekt Kurzbezeichnung
PAnaMoL
 
Project Title (de) Projekttitel (de)
Proof-theoretic Analysis of Modal Logics
 
Consortium Coordinator Koordinator des Konsortiums
Principal Investigator Projektleiter_in
 
Status
CLOSED