Abstract
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.
Citation
Mladen Vuković. "The Principles of Interpretability." Notre Dame J. Formal Logic 40 (2) 227 - 235, Spring 1999. https://doi.org/10.1305/ndjfl/1038949538
Information