Logic in High Definition - Trends in Logical Semantics