Curriculum of Modal Logic

This curriculum introduces modal logic in terms of frames, models, and modal systems.

Sequence

1. curricula/kripke-frames.md — Worlds and accessibility.
2. curricula/modal-semantics.md — $\square$ and $◊$ semantics.
3. curricula/modal-systems.md — K, T, S4, S5 as constraints on $R$.

Glossary

• index.md