Interpolation and implicit definability in extensions of the provability logic

DOI10.12775/LLP.2008.008MaRDI QIDQ3534985zbMATH OpenOpenAlexFDO

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

Beth propertyinterpolationmodal logicprovability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Other algebras related to logic (03G25) 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
• scientific article; zbMATH DE number 4114590
• 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)

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

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)