Computing from a pair of oracles one of which is useful
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.