Unary interpretability logics for sublogics of the interpretability logic \textbf{IL}

DOI10.1007/S11225-023-10068-ZMaRDI QIDQ6562370FDO

Authors Yuya Okawa

Publication date 26 June 2024

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

interpretability logicunary interpretability logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• scientific article; zbMATH DE number 3782996 (Why is no real title available?)
• scientific article; zbMATH DE number 1215499 (Why is no real title available?)
• scientific article; zbMATH DE number 1735871 (Why is no real title available?)
• scientific article; zbMATH DE number 2014521 (Why is no real title available?)
• scientific article; zbMATH DE number 218496 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• Arithmetization of metamathematics in a general setting
• Calculating self-referential statements
• Explicit fixed points in interpretability logic
• Modal completeness of sublogics of the interpretability logic IL
• Partially Conservative Extensions of Arithmetic
• Provability logic—a short introduction
• Some correspondences of principles in interpretability logic
• The logic of \(\Pi_ 1\)-conservativity
• Unary interpretability logic

This page was built for publication: Unary interpretability logics for sublogics of the interpretability logic \textbf{IL}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6562370)