Sep

21

Tue

Sep 21 @ 10:30 am – 11:30 am

Title:

Computing from a pair of oracles one of which is useful

Sep

28

Tue

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

Oct 5 @ 10:30 am – 11:30 am

Oct

12

Tue

Oct 12 @ 10:30 am – 11:30 am

Oct

26

Tue

Oct 26 @ 10:30 am – 11:30 am

Speaker: B. Kjos-Hanssen

Title: Refuting a generalization of Frankl’s conjecture for lattice-like posets

Nov

2

Tue

Nov 2 @ 10:30 am – 11:30 am

Nov

9

Tue

Nov 9 @ 10:30 am – 11:30 am

Nov

23

Tue

Nov 23 @ 10:30 am – 11:30 am

Janitha Awedige will discuss the paper

“Inference Rules for Probability Logic” by Marija Boricic.