translate: Translating Modal Logic Formulas

$next$ $up$ $previous$ $contents$
Next: Heuristics for the Definition Up: Saturate Commands Previous: sat: Starting Saturation Contents

`translate`: Translating Modal Logic Formulas

$\begin{displaymath} \mbox{{\tt translate}} \end{displaymath}$

invokes the translation of a given modal logic formula into first-order logic by means of various semantic embedding techniques that one may choose from. The results from translate may be used as an input to make_ file for creating saturate input files for the background theory of a logic and/or for a problem.

Harald Ganzinger 2002-12-04

Imprint | Data Protection