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 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.
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