A note on the interpretability logic of finitely axiomatized theories

DOI10.1007/BF00370185zbMath0739.03030MaRDI QIDQ1181486

Maarten de Rijke

Publication date: 27 June 1992

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

modal logicprovabilityrelative interpretabilityarithmetical completenesstail modelsfinitely axiomatized theories

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
• On the scheme of induction for bounded arithmetic formulas
• Cuts, consistency statements and interpretations

This page was built for publication: A note on the interpretability logic of finitely axiomatized theories