On inclusions between quantified provability logics
On inclusions between quantified provability logics
复制标题
关于量化可证明性逻辑之间的包含
DOI：
10.1007/s11225-021-09957-y
复制
发表时间：
2022
期刊：
影响因子：
0.7
通讯作者：
Taishi Kurahashi
中科院分区：
文献类型：
--
作者：
Taishi Kurahashi;Haruka Kogure Haruka and Taishi Kurahashi;Makoto Fujiwara and Taishi Kurahashi;Taishi Kurahashi and Motoki Okuda;倉橋太志;Taishi Kurahashi
我们研究了量化可证明逻辑之间包含关系的几个结果。此外，我们还给出了数量化可证明逻辑与算术解释之间包含关系的一个充分必要条件。
We investigate several consequences of inclusion relations between quantified provability logics. Moreover, we give a necessary and sufficient condition for the inclusion relation between quantified provability logics with respect toarithmetical interpretations.