Interpolation properties for provability logics GL and GLP

DOI10.1134/S0081543811060198zbMath1294.03039arXiv1410.6652OpenAlexW2008637522MaRDI QIDQ2510774

Daniyar Shamkanov

Publication date: 4 August 2014

Published in: Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1410.6652

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (6)

Uniform Lyndon interpolation for basic non-normal modal logics ⋮ Provability multilattice logic ⋮ On provability logics with linearly ordered modalities ⋮ Uniform Lyndon interpolation property in propositional modal logics ⋮ Interpolation properties for Sacchetti's logics ⋮ Circular proofs for the Gödel-Löb provability logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Kripke semantics for provability logic GLP
• Modal frame correspondences and fixed-points
• A simplified proof of arithmetical completeness theorem for provability logic GLP
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• A sheaf representation and duality for finitely presented Heyting algebras
• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
• On strong provability predicates and the associated modal logics

This page was built for publication: Interpolation properties for provability logics GL and GLP