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
26
Tue
Logic Seminar: Refuting a generalization of Frankl’s conjecture for lattice-like posets
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
Logic Seminar: Modal logic of provability (David Webb)
Nov 2 @ 10:30 am – 11:30 am
Nov
9
Tue
David Webb: Kripke semantics for the provability logic GL
Nov 9 @ 10:30 am – 11:30 am
Nov
23
Tue
Logic seminar: Janitha Aswedige
Nov 23 @ 10:30 am – 11:30 am

Janitha Awedige will discuss the paper
“Inference Rules for Probability Logic” by Marija Boricic.