Interpolation and implicit definability in extensions of the provability logic
DOI10.12775/LLP.2008.008zbMATH Open1159.03015OpenAlexW1977536438MaRDI QIDQ3534985FDOQ3534985
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
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 (12)
- 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
- 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)
