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.
Speaker: B. Kjos-Hanssen
Title: Refuting a generalization of Frankl’s conjecture for lattice-like posets
Janitha Awedige will discuss the paper
“Inference Rules for Probability Logic” by Marija Boricic.
Analyzing walks with combinatorics and automata theory
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.