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

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

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

• Arithmetization of metamathematics in a general setting
• Title not available (Why is that?)
• Explicit fixed points in interpretability logic
• Title not available (Why is that?)
• The logic of \(\Pi_ 1\)-conservativity
• Title not available (Why is that?)
• Title not available (Why is that?)
• Partially Conservative Extensions of Arithmetic
• Calculating self-referential statements
• Provability logic—a short introduction
• Title not available (Why is that?)
• Some correspondences of principles in interpretability logic
• Unary interpretability logic
• Title not available (Why is that?)
• Modal completeness of sublogics of the interpretability logic IL

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)