The provability logic for \(\Sigma_ 1\)-interpolability

DOI10.1016/0168-0072(93)90212-VzbMath0802.03014OpenAlexW2066855259MaRDI QIDQ688429

Konstantin N. Ignatiev

Publication date: 2 January 1994

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(93)90212-v

zbMATH Keywords

Kripke semanticsPeano arithmeticinterpretabilityprovability logicinterpolation propertyfixed-point property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30)

Related Items

On modal logics of model-theoretic relations

Cites Work

• Unnamed Item
• Characters and fixed points in provability logic
• Partially Conservative Extensions of Arithmetic
• The interpretability logic of Peano arithmetic

This page was built for publication: The provability logic for \(\Sigma_ 1\)-interpolability