An Introduction to Formal Logic
Modal Logic
S1 E23:
Two new operators; first-order predicate vocabulary; a symbol for possibility and for necessity; dealing with modal concepts; they are contingent or necessary truths; how philosophers have used modal logic to investigate ethical obligations.