Next:
The basic interpretability logic
Up:
Towards the Interpretability Logic
Previous:
The other principles
The modal logic of interpretability
The basic interpretability logic
More principles and frame correspondences
Modal and arithmetical completeness results
The aim of this paper
Joost Joosten
2000-02-07
