The Principles of Interpretability
Mladen Vuković · Notre Dame Journal of Formal Logic · 1999
A generalized Veltman semantics developed by de Jongh is used to investigate correspondences between several extensions of intepretability logic $\mathit{IL}$. In this paper we present some new results on independences.