Interpretability logics and generalized Veltman semantics
Abstract
We obtain modal completeness of the interpretability logics ILP0 and ILR w.r.t. generalized Veltman semantics. Our proofs are based on the notion of smart (full) labels. We also give shorter proofs of completeness w.r.t. generalized semantics for many classical interpretability logics. We obtain decidability and finite model property w.r.t. generalized semantics for ILP0 and ILR. Finally, we develop a construction that might be useful for proofs of completeness of extensions of ILW w.r.t. generalized semantics in the future, and demonstrate its usage with ILW* = ILM0W.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.