Interpolation properties for Sacchetti's logics

DOI10.1007/978-981-16-4173-2_3OpenAlexW4207048877MaRDI QIDQ2097057

Sohei Iwata

Publication date: 11 November 2022

Full work available at URL: https://doi.org/10.1007/978-981-16-4173-2_3

zbMATH Keywords

Lyndon interpolation propertyeffective fixed-point theoremSacchetti's logic

Mathematics Subject Classification ID

General logic (03Bxx) Proof theory and constructive mathematics (03Fxx) Set theory (03Exx)

Cites Work

• Unnamed Item
• Unnamed Item
• The modal logic of provability. The sequential approach
• The fixed point property in modal logic
• Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
• Effectively constructible fixed points in Sacchetti's modal logics of provability
• Circular proofs for the Gödel-Löb provability logic
• Interpolation properties for provability logics GL and GLP
• Provability logic—a short introduction
• Reasoning in circles

This page was built for publication: Interpolation properties for Sacchetti's logics