An Overview of Interpretability Logic (1998)

by A Visser
Venue:Advances in Modal Logic, vol 1, CSLI Lecture Notes