Restricted interpolation over modal logic S4

DOI10.1007/s10469-013-9244-7zbMath1311.03040MaRDI QIDQ2342101

Larisa L. Maksimova

Publication date: 8 May 2015

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-013-9244-7

zbMATH Keywords

projective Beth property; modal logic S4; restricted interpolation

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

Related Items

Recognizable and perceptible logics and varieties, Constructive classifications of modal logics and extensions of minimal logic, Recognizable logics, Algorithms for recognizing restricted interpolation over the modal logic S4

Cites Work

• Weak interpolation in extensions of the logics S4 and K4
• Interpolation in weakly transitive modal logics
• Undecidable properties of extensions of provability logic. II
• Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
• A lattice of normal modal logics
• Finite-level modal logics
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Intuitionistic logic and implicit definability
• Projective Beth property in extensions of Grzegorczyk logic
• Classification of extensions of the modal logic S4
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• A weak form of interpolation in equational logic
• Problem of restricted interpolation in superintuitionistic and some modal logics
• An ascending chain of S4 logics
• Definability in Normal Extensions of S4
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item