The Cambridge Handbook of Formal Semantics