A note on the interpretability logic of
โ
Maarten Rijke
๐
Article
๐
1991
๐
Springer Netherlands
๐
English
โ 481 KB
Ill [6] Albert Visser shows that ILP completely axiomatizes all schemata about provabihty and relative interpretability that are provable in finitely axiomatized theories. In this paper we introduce a system called ILP ~ that completely axiomatizes the arithmetically valid principles of provability