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