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 条

[31] An Algebraic Proof of the Admissibility of γ in Relevant Modal Logics
Takahiro Seki
Studia Logica, 2012, 100 : 1149 - 1174
[32] An Algebraic Proof of the Admissibility of γ in Relevant Modal Logics
Seki, Takahiro
STUDIA LOGICA, 2012, 100 (06) : 1149 - 1174
[33] Modal weak Kleene logics: axiomatizations and relational semantics
Bonzio, S.
Zamperlin, N.
JOURNAL OF LOGIC AND COMPUTATION, 2024,
[34] On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations
Davoren, J. M.
ANNALS OF PURE AND APPLIED LOGIC, 2009, 161 (03) : 349 - 367
[35] A Unified Semantics for a Family of Modal Logics with Propositional Constants
Pascucci, Matteo
LOGICA UNIVERSALIS, 2016, 10 (01) : 45 - 66
[36] MONTAGUE TYPE SEMANTICS FOR MODAL LOGICS WITH PROPOSITIONAL QUANTIFIERS
GABBAY, DM
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1971, 17 (03): : 245 - &
[37] Neighborhood semantics for modal many-valued logics
Cintula, Petr
Noguera, Carles
FUZZY SETS AND SYSTEMS, 2018, 345 : 99 - 112
[38] IS THE SEMANTICS OF BRANCHING STRUCTURES ADEQUATE FOR CHRONOLOGICAL MODAL LOGICS
NISHIMURA, H
JOURNAL OF PHILOSOPHICAL LOGIC, 1979, 8 (04) : 469 - 475
[39] An overview of rough set semantics for modal and quantifier logics
Liau, CJ
INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2000, 8 (01) : 93 - 118
[40] From Kripke to Neighborhood Semantics for Modal Fuzzy Logics
Cintula, Petr
Noguera, Carles
Rogger, Jonas
INFORMATION PROCESSING AND MANAGEMENT OF UNCERTAINTY IN KNOWLEDGE-BASED SYSTEMS, IPMU 2016, PT II, 2016, 611 : 95 - 107

← 1 2 3 4 5 →