Sep

28

Tue

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

26

Tue

Speaker: B. Kjos-Hanssen

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

Nov

23

Tue

Janitha Awedige will discuss the paper

“Inference Rules for Probability Logic” by Marija Boricic.

Apr

7

Thu

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.

## University of Hawaiʻi at Mānoa