Interpolation and implicit definability in extensions of the provability logic

DOI10.12775/LLP.2008.008zbMATH1159.03015OpenAlexW1977536438MaRDI QIDQ3534985FDOQ3534985

Authors L. L. Maksimova

Publication date 10 November 2008

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/llp.2008.008

zbMATH Keywords

interpolationmodal logicprovability logicBeth property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Interpolation, preservation, definability (03C40) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Recommendations

• Interpolation property for extensions of intuitionistic provability logic
• Interpolation and Definability in Extensions of the Minimal Logic
• Publication:4729756
• Interpolation in infinitely layered extensions of provability logic
• scientific article; zbMATH DE number 2184446
• scientific article; zbMATH DE number 7104937
• Interpolation and definability over the logic Gl
• scientific article; zbMATH DE number 1735871
• Interpolation theorems for intuitionistic predicate logic
• Definability and interpolation in non-classical logics

Cited in

(13)

• scientific article; zbMATH DE number 6302918 (Why is no real title available?)
• Continuum of normal extensions of the modal logic of provability with the interpolation property
• Interpolation properties for provability logics GL and GLP
• Interpolation systems for ground proofs in automated deduction: a survey
• scientific article; zbMATH DE number 1989661 (Why is no real title available?)
• Extensions of the minimal logic and the interpolation problem
• scientific article; zbMATH DE number 4114590 (Why is no real title available?)
• scientific article; zbMATH DE number 2222017 (Why is no real title available?)
• Interpolation properties, Beth definability properties and amalgamation properties for substructural logics
• Interpolation theorem of Hao Wang's partial predicate calculus
• Failure of interpolation in constant domain intuitionistic logic
• scientific article; zbMATH DE number 7104937 (Why is no real title available?)
• The interpolation problem in finite-layered pre-Heyting logics

This page was built for publication: Interpolation and implicit definability in extensions of the provability logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3534985)