### References & Citations

# Mathematics > Logic

# Title: Simplified Veltman frames for sublogics of $\mathbf{IL}$

(Submitted on 29 Nov 2022)

Abstract: We study finite model property for several sublogics of $\mathbf{IL}$ with respect to simplified Veltman frames. Among other things, we prove that the logic $\mathbf{CL}$ of conservativity has finite model property with respect to that frames. This is an affirmative solution to Ignatiev's problem.

Link back to: arXiv, form interface, contact.