In modal logic, standard translation is a logic translation that transforms formulas of modal logic into formulas of non-modal first-order logic that capture the meaning of the modal formulas. Standard translation is defined inductively on the structure of the formula.
In modal logic, standard translation is a logic translation that transforms formulas of modal logic into formulas of non-modal first-order logic that capture the meaning of the modal formulas. Standard translation is defined inductively on the structure of the formula.
Source: Wikipedia "Standard translation" · CC BY-SA 4.0
Share this article: X · Bluesky