Logic and Semantics