Neighbourhood Semantics for Modal Relevant Logics

被引：0
|
作者：
Nicholas Ferenz
Andrew Tedder
机构：
[1] Czech Academy of Sciences,Institute of Computer Science
[2] Ruhr University,Department of Philosophy I
来源：
Journal of Philosophical Logic | 2023年 / 52卷
关键词：
Relevant modal logic; Relevant logic; Nonclassical modal logic; Neighbourhood semantics;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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
页数：36
相关论文
共 50 条
  • [41] Operational semantics for positive relevant logics without distribution
    Gao, Ying
    Cheng, Jingde
    [J]. COMPUTATION AND LOGIC IN THE REAL WORLD, PROCEEDINGS, 2007, 4497 : 325 - +
  • [42] Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics
    Girlando, Marianna
    Negri, Sara
    Olivetti, Nicola
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (03) : 947 - 997
  • [43] BK-lattices. Algebraic Semantics for Belnapian Modal Logics
    Sergei P. Odintsov
    E. I. Latkin
    [J]. Studia Logica, 2012, 100 : 319 - 338
  • [44] ALGEBRAIC SEMANTICS FOR QUASI-CLASSICAL MODAL-LOGICS
    BLOK, WJ
    KOHLER, P
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (04) : 941 - 964
  • [45] MODAL COMPANIONS OF SUPERINTUITIONISTIC LOGICS - SYNTAX, SEMANTICS, AND PRESERVATION THEOREMS
    ZAKHARYASHCHEV, MV
    [J]. MATHEMATICS OF THE USSR-SBORNIK, 1991, 68 (01): : 277 - 289
  • [46] 8 Valued Non-Deterministic Semantics for Modal Logics
    Pawlowski, Pawel
    Skurt, Daniel
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2024, 53 (02) : 351 - 371
  • [47] REMARKS ON THE SEMANTICS OF NON-NORMAL MODAL-LOGICS
    SCHOTCH, PK
    [J]. TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 1984, 3 (01): : 85 - 90
  • [48] Swap structures semantics for Ivlev-like modal logics
    Marcelo E. Coniglio
    Ana Claudia Golzio
    [J]. Soft Computing, 2019, 23 : 2243 - 2254
  • [49] Restricted normal modal logics and levelled possible worlds semantics
    Agudelo-Agudelo, Juan C.
    Sierra-Aristizabal, Manuel H.
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2014, 24 (04) : 687 - 704
  • [50] 8 Valued Non-Deterministic Semantics for Modal Logics
    Pawel Pawlowski
    Daniel Skurt
    [J]. Journal of Philosophical Logic, 2024, 53 : 351 - 371
12345