Logic in High Definition: Trends in Logical Semantics