It will be possible to define as an
abbreviation in a modal context language which contains the
. (Such reductions might be problematic in non-modal
approaches, such as [5].)
We first deal with the case where all contexts have the same domains.
We define as an
abbreviation:
Eliminating the abbreviation, the
above formulas are equivalent to: