An overview of interpretability logic (1996)

by A Visser
Venue:Advances in modal logic