Non-Normal Modal Logics: A Challenge to Proof Theory

被引：0
|
作者：
Negri, Sara [1 ]
机构：
[1] Univ Helsinki, Helsinki, Finland
来源：
LOGICA YEARBOOK 2016 | 2017年
关键词：
Neighbourhood semantics; Classical modal logics; Non-normal modal logics; Labelled sequent calculus; GEOMETRIC THEORIES; SEQUENT CALCULI; ELIMINATION; RULES;
D O I：
暂无
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
A general procedure that follows the guidelines of inferentialism is presented for generating G3-style sequent calculi for non-normal modal logics on the basis of neighbourhood semantics.
引用
收藏
页码：125 / 140
页数：16
相关论文
共 50 条
  • [21] Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics
    Dalmonte, Tiziano
    Lellmann, Bjoern
    Olivetti, Nicola
    Pimentel, Elaine
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020), 2020, 11972 : 27 - 46
  • [22] Thomas Aquinas, Non-Normal Modal Logics and the Problem of Future Contingent Events
    Gili, Luca
    Demey, Lorenz
    TIJDSCHRIFT VOOR FILOSOFIE, 2017, 79 (02) : 259 - 276
  • [23] Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity
    Dalmonte, Tiziano
    Lellmann, Bjorn
    Olivetti, Nicola
    Pimentel, Elaine
    JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (01) : 67 - 111
  • [24] Non Normal Logics: Semantic Analysis and Proof Theory
    Chen, Jinsheng
    Greco, Giuseppe
    Palmigianol, Alessandra
    Tzimoulis, Apostolos
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019), 2019, 11541 : 99 - 118
  • [25] HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)
    Dalmonte, Tiziano
    Olivetti, Nicola
    Pozzato, Gian Luca
    AUTOMATED REASONING, PT II, 2020, 12167 : 378 - 387
  • [26] TOWARDS A PROOF THEORY OF GODEL MODAL LOGICS
    Metcalfe, George
    Olivetti, Nicola
    LOGICAL METHODS IN COMPUTER SCIENCE, 2011, 7 (02)
  • [27] Proof theory for quantified monotone modal logics
    Negri, Sara
    Orlandelli, Eugenio
    LOGIC JOURNAL OF THE IGPL, 2019, 27 (04) : 478 - 506
  • [28] ALGEBRAIC SEMANTICS FOR NON-NORMAL TEMPORAL LOGICS
    Wang, Shanxia
    JOURNAL OF NONLINEAR AND CONVEX ANALYSIS, 2023, 24 (06) : 1253 - 1271
  • [29] Explicit Non-normal Modal Logic
    Rohani, Atefeh
    Studer, Thomas
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2021), 2021, 13038 : 64 - 81
  • [30] An extension of Jonsson-Tarski representation and model existence in predicate non-normal modal logics
    Tanaka, Yoshihito
    MATHEMATICAL LOGIC QUARTERLY, 2022, 68 (02) : 189 - 201
12345