Next: Specific Treatment of Binary
Up: Inference System
Previous: Sequent Calculus
Contents
Modal Logics
Saturate includes a translator
for modal logic into first-order logic
by semantic embedding.
The translator will be implicitly invoked when calling prove for a modal logic
formula.
Harald Ganzinger
2002-12-04
Imprint | Data Protection