...
机译:Countably many sublogics of the interpretability logic IL having fixed point properties
Graduate School of Science and Engineering, Chiba University,1-33 Yayoi-cho, Inage-ku, Chiba-shi, Chiba, 263-8522, Japan;
provability logic; interpretavility logic; fixed point property;