Calendar

26 Sun 27 Mon 28 Tue 29 Wed 30 Thu 1 Fri 2 Sat
All-day
12:00 am
1:00 am
2:00 am
3:00 am
4:00 am
5:00 am
6:00 am
7:00 am
8:00 am
9:00 am
10:00 am
11:00 am
12:00 pm
1:00 pm
2:00 pm
3:00 pm
4:00 pm
5:00 pm
6:00 pm
7:00 pm
8:00 pm
9:00 pm
10:00 pm
11:00 pm
10:30 am Logic seminar: Janitha Aswedige
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[...]