# Definition:Constructed Semantics

Jump to navigation
Jump to search

## 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