Definition:Constructed Semantics

Definition
Let $\LL$ be a formal language.

A constructed semantics for $\LL$ is a formal semantics which is invented solely for proving a property about $\LL$ or other entities related to $\LL$.

Examples

 * Constructed Semantics: Instance 1

Also see

 * Definition:Counterexample