Next:
General outline of the
Up:
Towards the Interpretability Logic
Previous:
Overall correctness and termination
The modal completeness of
via the construction method
General outline of the proof
Tools
The construction
Problems
Deficiencies
Eliminating deficiencies: the complete picture.
The actual construction.
Correctness.
Some remarks on decidability
Joost Joosten
2000-02-07
via the
construction method