Keyword: axiomatic

• Semantics: A survey of semantics styles, from natural semantics through structural operational, axiomatic, and denotational semantics, to abstract interpretation.
  Yves Bertot