Semantics and Logic Honors