Restricted interpolation over modal logic S4

DOI10.1007/s10469-013-9244-7zbMath1311.03040OpenAlexW2102427324MaRDI 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 propertymodal logic S4restricted interpolation

Mathematics Subject Classification ID

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

Related Items (4)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Restricted interpolation over modal logic S4