Logic seminar: Janitha Aswedige

When:
September 28, 2021 @ 10:30 am – 11:30 am
2021-09-28T10:30:00-10:00
2021-09-28T11:30:00-10:00

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.