Extensions of Solovay's system S without independent sets of axioms

被引：0
|
作者：
Gorbunov, Igor [1 ]
Shkatov, Dmitry [1 ,2 ]
机构：
[1] Russian Acad Sci, Inst Informat Transmiss Problems, Moscow 127051, Russia
[2] Univ Witwatersrand, Sch Comp Sci & Appl Math, Private Bag 3, ZA-2050 Johannesburg, South Africa
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2024年 / 175卷 / 01期
基金：
俄罗斯科学基金会;
关键词：
Quasi -normal modal logic; Independent axiomatizability; Lattices of logics;
D O I：
10.1016/j.apal.2023.103360
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
Chagrov and Zakharyaschev posed the problem of existence of extensions of Solovay's system S, which is a non-normalizable quasi-normal modal logic, that do not admit deductively independent sets of axioms. This paper gives a solution by exhibiting countably many extensions of S without deductively independent sets of axioms.(c) 2023 Elsevier B.V. All rights reserved.
引用
收藏
页数：23
相关论文
共 50 条
12345