Simplified Veltman frames for sublogics of \mathbf{IL}

MaRDI QIDQ6418844zbMATH OpenFDO

Authors Yuya Okawa, Taishi Kurahashi

Publication date 28 November 2022

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Abstract: We study finite model property for several sublogics of $mathbfIL$ with respect to simplified Veltman frames. Among other things, we prove that the logic $mathbfCL$ of conservativity has finite model property with respect to that frames. This is an affirmative solution to Ignatiev's problem.

This page was built for publication: Simplified Veltman frames for sublogics of $\mathbf{IL}$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6418844)