English

Visser frames for sublogics of $\mathbf{IL}$

Logic 2024-05-22 v2

Abstract

We study the modal completeness and the finite frame property of several sublogics of the logic IL\mathbf{IL} of interpretability with respect to Visser frames, which are also called simplified Veltman frames. Among other things, we prove that the logic CL\mathbf{CL} of conservativity has the finite frame property with respect to that frames. This is an affirmative solution to Ignatiev's problem.

Keywords

Cite

@article{arxiv.2211.15919,
  title  = {Visser frames for sublogics of $\mathbf{IL}$},
  author = {Yuya Okawa and Taishi Kurahashi},
  journal= {arXiv preprint arXiv:2211.15919},
  year   = {2024}
}

Comments

19 pages

R2 v1 2026-06-28T07:16:13.702Z