论文标题
$ \ mathbf {il} $的串联的visser框架
Visser frames for sublogics of $\mathbf{IL}$
论文作者
论文摘要
我们研究了有关Visser框架的逻辑$ \ Mathbf {il} $的几种sublogics的模态完整性和有限框架属性，而Visser框架也称为简化的Veltman框架。除其他事项外，我们证明了保守性的逻辑$ \ mathbf {cl} $具有相对于该帧的有限帧属性。这是对Ignatiev问题的肯定解决方案。
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.
