2000 character limit reached
Visser frames for sublogics of $\mathbf{IL}$ (2211.15919v2)
Published 29 Nov 2022 in math.LO
Abstract: We study the modal completeness and the finite frame property of several sublogics of the logic $\mathbf{IL}$ of interpretability with respect to Visser frames, which are also called simplified Veltman frames. Among other things, we prove that the logic $\mathbf{CL}$ of conservativity has the finite frame property with respect to that frames. This is an affirmative solution to Ignatiev's problem.