Countably many sublogics of the interpretability logic IL having fixed point properties

YUYA OKAWA

首页> 外文期刊>Journal of logic and computation >Countably many sublogics of the interpretability logic IL having fixed point properties

【24h】

Countably many sublogics of the interpretability logic IL having fixed point properties

机译：Countably many sublogics of the interpretability logic IL having fixed point properties

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相关主题

摘要

We investigate the fixed point properties for sublogics of the interpretability logic IL. In our previous work, it was proved thata sublogic IL?(J 2_+,J 5) has the fixed point property (FPP) and that a sublogic IL?(J 4,J 5) has a newly introduced weakerproperty FPP. In this paper, we provide countably many sublogics of IL?(J 2_+,J 5) (resp. IL?(J 4,J 5)) having FPP (resp.?FPP).

著录项

来源
《Journal of logic and computation》 |2022年第5期|976-995|共20页
作者
YUYA OKAWA;
展开▼
作者单位

Graduate School of Science and Engineering, Chiba University,1-33 Yayoi-cho, Inage-ku, Chiba-shi, Chiba, 263-8522, Japan;

展开▼
收录信息
原文格式 PDF
正文语种英语
中图分类
关键词
provability logic; interpretavility logic; fixed point property;

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号

Countably many sublogics of the interpretability logic IL having fixed point properties

摘要

著录项

相关主题

期刊订阅