¬ ∧ ∨ ⊃ ≡ □ ◇ K_a E D [α] ⟨α⟩ ; ∪ * ? ( ) [] is □ and <> is ◇; [a] and <a> take a program; the switches below pick the logic, one row per relation