David Webb: Kripke semantics for the provability logic GL When: November 9, 2021 @ 10:30 am – 11:30 am 2021-11-09T10:30:00-10:00 2021-11-09T11:30:00-10:00 Logic seminar