• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Article

Interpolation properties for provability logics GL and GLP

Proceedings of the Steklov Institute of Mathematics. 2011. Vol. 274. No. 1. P. 303-316.

We study interpolation properties of provability logics. We prove the Lyndon interpolation for GL and the uniform interpolation for GLP.