Tomorrow we will first discuss the paper entitled "Why Is Modal Logic So
Robustly Decidable?" by Vardi (available at his website). Next, we will
discuss chapter 18 of the text book up to (but not including) 18.5
i.e. Guarded Second-Order logic. We will not emphasize the proofs;
rather, we will try to understand the underlying intuitions.