next up previous contents
Next: General Up: The Saturate System Previous: translate: Translating Modal Logic   Contents

Heuristics for the Definition of Meta-Logical Directives



Subsections

Harald Ganzinger 2002-12-04

Imprint | Data Protection