Types, Logics and Semantics for State