Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic

DOI10.1007/BF01982206zbMath0595.03012MaRDI QIDQ1077401

Larisa L. Maksimova

Publication date: 1983

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

Full work available at URL: https://eudml.org/doc/187199

zbMATH Keywords

normal modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)

Related Items (7)

Interpolation Method for Multicomponent Sequent Calculi ⋮ Projective Beth property in extensions of Grzegorczyk logic ⋮ Modal companions of intermediate propositional logics ⋮ Definability and interpolation in non-classical logics ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi ⋮ On the Blok-Esakia Theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic