Interpolation and implicit definability in extensions of the provability logic

DOI10.12775/LLP.2008.008zbMATH Open1159.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

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

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)

Cited In (13)

• Interpolation theorem of Hao Wang's partial predicate calculus
• The interpolation problem in finite-layered pre-Heyting logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Interpolation systems for ground proofs in automated deduction: a survey
• Title not available (Why is that?)
• Failure of interpolation in constant domain intuitionistic logic
• Interpolation properties, Beth definability properties and amalgamation properties for substructural logics
• Continuum of normal extensions of the modal logic of provability with the interpolation property
• Interpolation properties for provability logics GL and GLP
• Title not available (Why is that?)
• Extensions of the minimal logic and the interpolation problem

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)