Definition:Constructed Semantics

Definition
Let $\mathcal L$ be a formal language.

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

Examples

 * Constructed Semantics: Instance 1

Also see

 * Definition:Counterexample