Workshop “Proof-theoretic and algebraic aspects of (intuitionistic) modal logics”

Activity: Academic conferences and events (excluding conference publications) › Keynote presentation or prestigious invited talk