An analog of Beth's theorem in normal extensions of the modal logic K4

DOI10.1007/BF00971028zbMath0834.03005MaRDI QIDQ2366342

Larisa L. Maksimova

Publication date: 29 June 1993

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

ultrapowerequational classnormal modal logicsmodal algebrasBeth definability theoremnormal extensions of the modal logic K4two- element Kripke frame

Mathematics Subject Classification ID

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

Related Items (5)

On propositional definability ⋮ Decidability of the interpolation problem and of related properties in tabular logics ⋮ Definability and interpolation in non-classical logics ⋮ Amalgamation, interpolation, and implicit definability in varieties of algebras ⋮ ON DEFINABILITY IN MULTIMODAL LOGIC

Cites Work

• Modal tableau calculi and interpolation
• Definability theorems in normal extensions of the provability logic
• Cylindric algebras. Part II
• Pretabular varieties of modal algebras
• Algebraizable logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An analog of Beth's theorem in normal extensions of the modal logic K4