A Quartet of Semigroups for Model Specification, Robustness, Prices of Risk, and Model Detection