期刊
ANNALS OF PURE AND APPLIED LOGIC
卷 175, 期 1, 页码 -出版社
ELSEVIER
DOI: 10.1016/j.apal.2023.103360
关键词
Quasi -normal modal logic; Independent axiomatizability; Lattices of logics
This paper solves the problem of the existence of extensions of Solovay's system S that do not admit deductively independent sets of axioms by exhibiting countably many extensions of S without deductively independent sets of axioms.
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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据