Category: Readings and Class Notes
Chapter 5 Slides (Modal Inference)
McFarlane: Modal Systems
Dimitri Hendriks’ Slides on Modal Logic
Modal Logic Notes by Eric Pacuit
Semantics of First Order Logic
Here are some notes of mine that might be helpful.
Ben-Ari’s article on semantic tableaux
Ben-Ari’s article on semantic tableaux.