加载中…
We study the modal completeness and the finite frame property of several sublogics of the logic of interpretability with respect to Visser frames, which are also called simplified Veltman frames. Among other things, we prove that the logic of conservativity has the finite frame property with respect to that frames. This is an affirmative solution to Ignatiev’s problem.

生成讲解博客的中文版本

生成AI智能校验的中文版本