Calendar

Sep
21
Tue
Logic seminar: David Webb
Sep 21 @ 10:30 am – 11:30 am

Title:
Computing from a pair of oracles one of which is useful

Sep
28
Tue
Logic seminar: Janitha Aswedige
Sep 28 @ 10:30 am – 11:30 am

Title: Introduction to Modal Logic: Filtrations and Finite Model Property of $S_5$

Abstract : We’ll introduce some basic notions from Modal Logic namely, Kripke Frames, Standard Models, Filtrations etc. Then we’ll demonstrate the Finite Model Property of the system $S_5$ and this will be our main goal.

Oct
5
Tue
Logic seminar: Janitha Aswedige (part 2)
Oct 5 @ 10:30 am – 11:30 am
Oct
12
Tue
RJ Reiff: Modal logic
Oct 12 @ 10:30 am – 11:30 am
Oct
19
Tue
Yablo’s paradox and predicting the future (David Ross)
Oct 19 @ 10:30 am – 11:30 am
Dec
9
Thu
Last day of instruction
Dec 9 all-day