Proof-theoretic and algebraic aspects of (intuitionistic) modal logics
- Iris van der Giessen (Organiser)
Activity: Participating in or organising an event › Workshop, seminar, course › Academic
Activity: Participating in or organising an event › Workshop, seminar, course › Academic