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.

Dec
9
Thu
Last day of instruction
Dec 9 all-day