New Results - Models, semantics, and languages