Calendar

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.

Apr
7
Thu
Logic seminar: Jack Yoon
Apr 7 @ 3:00 pm – 4:00 pm

Title:
Analyzing walks with combinatorics and automata theory

Abstract:
The enumeration theorem by Chomsky and Schützenberger revealed
a significant intersection between the theory of automata and
enumerative combinatorics. Since then, much progress has been made in
both fields. However, their intersection remains unchanged in the sense
that no further enumeration theorem emerged beyond that of
Chomsky-Schützenberger. We survey the literature in both fields and
picture what it would look like to expand the intersection between them.