Interpolation and implicit definability in extensions of the provability logic

DOI10.12775/LLP.2008.008zbMath1159.03015OpenAlexW1977536438MaRDI QIDQ3534985

Larisa 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) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Interpolation, preservation, definability (03C40) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

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