Provability logic is a nonstandard modal logic. Interpretability logic is an extension of provability logic. Generalized Veltman models are Kripke like semantics for interpretability logic. We consider generalizedVeltman models with a root, i.e. r-validity, r-satisfiability anda consequence relation. We modify Fineu27s and Rautenbergu27s proofand prove non-compactness of interpretability logic.
展开▼