Unary interpretability logics for sublogics of the interpretability logic IL

2022/06/08 by Yuya Okawa, Okawa, Yuya
Computer Science · #Rough Sets and Fuzzy Logic #Natural Language Processing Techniques #Logic, Reasoning, and Knowledge

paper · pdf · doi:10.48550/arxiv.2206.03677

Abstract

De Rijke introduced a unary interpretability logic il, and proved that il is the unary counterpart of the binary interpretability logic IL. In this paper, we find the unary counterparts of the sublogics of IL.

Related

• The fixed point and the Craig interpolation properties for sublogics of IL
• Uniform interpolation for interpretability logic
• Two series of formalized interpretability principles for weak systems of arithmetic
• Modal completeness of sublogics of the interpretability logic IL
• Interpretability logics and generalized Veltman semantics