Next:
The general construction of
Up:
Towards the Interpretability Logic
Previous:
The aim of this
The modal completeness and decidability of
via the construction method
The general construction of the proof
Tools
The construction
Problems
Deficiencies
The details of constructing the blocks
Making an
S
x
y
-block.
Making an
S
N
y
-block.
Correctness and termination
Overall correctness and termination
Joost Joosten
2000-02-07