Neighbourhood Semantics for Modal Relevant Logics

被引：3
|
作者：
Ferenz, Nicholas [1 ]
Tedder, Andrew [2 ]
机构：
[1] Czech Acad Sci, Inst Comp Sci, Prague, Czech Republic
[2] Ruhr Univ, Dept Philosophy 1, Bochum, Germany
来源：
JOURNAL OF PHILOSOPHICAL LOGIC | 2023年 / 52卷 / 01期
关键词：
Relevant modal logic; Relevant logic; Nonclassical modal logic; Neighbourhood semantics; CONSERVATIVE EXTENSION; COMPLETENESS;
D O I：
10.1007/s10992-022-09668-2
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
In this paper, we investigate neighbourhood semantics for modal extensions of relevant logics. In particular, we combine the neighbourhood interpretation of the relevant implication (and related connectives) with a neighbourhood interpretation of modal operators. We prove completeness for a range of systems and investigate the relations between neighbourhood models and relational models, setting out a range of augmentation conditions for the various relations and operations.
引用
收藏
页码：145 / 181
页数：37
相关论文
共 50 条
12345