1 paper
Fèlix Frigola González, Joost J. Joosten, Vicent Navarro Arroyo +1
In this paper, we present a first-order frame condition for interpretability logic and show that the condition is not modally definable. Yet, the frame condition holds both on ILM…