Title: Formal Semantics and Logic