RUS  ENG
Full version
JOURNALS // Trudy Matematicheskogo Instituta imeni V.A. Steklova // Archive
Trudy Mat. Inst. Steklova, 2011 Volume 274, Pages 329–342 (Mi tm3323)
This article is cited in 10 papers

Interpolation properties for provability logics $\mathbf{GL}$ and $\mathbf{GLP}$

Daniyar S. Shamkanov

Department of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Moscow State University, Moscow, Russia

Abstract: We study interpolation properties of provability logics. We prove the Lyndon interpolation for $\mathbf{GL}$ and the uniform interpolation for $\mathbf{GLP}$.

UDC: 510.6

Received in March 2011


 English version: Proceedings of the Steklov Institute of Mathematics, 2011, 274, 303–316

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025