PAnaMoL:
Proof Theoretic Analysis of Modal Logics

Other

Further material connected to the project:

• The article Wo die vifen Kerle forschen in the Austrian magazine FALTER contains bits of an interview with Agata Ciabattoni and myself (in German).

Björn Lellmann, February 2017