errata kate kearns 2011 semantics 2
Tanya Beier
—
e Formal Notation of Modality (Section 6.1) Original Issue: A misprint occurred in the notation for the necessity operator □ (box). The formula for modal accessibility was written as: > w ⊨ □φ iff ∀w' (W(w, w') → w' ⊨ φ) but the set W(w, w')