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 条
  • [1] Non-normal modal logics and conditional logics: Semantic analysis and proof theory
    Chen, Jinsheng
    Greco, Giuseppe
    Palmigiano, Alessandra
    Tzimoulis, Apostolos
    INFORMATION AND COMPUTATION, 2022, 287
  • [2] Non-Normal Modal Description Logics
    Dalmonte, Tiziano
    Mazzullo, Andrea
    Ozaki, Ana
    Troquard, Nicolas
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023, 2023, 14281 : 306 - 321
  • [3] PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics
    Dalmonte, Tiziano
    Negri, Sara
    Olivetti, Nicola
    Pozzato, Gian Luca
    ADVANCES IN ARTIFICIAL INTELLIGENCE, AI*IA 2019, 2019, 11946 : 165 - 179
  • [4] Quantification in Some Non-normal Modal Logics
    Calardo, Erica
    Rotolo, Antonino
    JOURNAL OF PHILOSOPHICAL LOGIC, 2017, 46 (05) : 541 - 576
  • [5] Labelled tableaux for non-normal modal logics
    Governatori, G
    Luppi, A
    AI(ASTERISK)IA 99: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2000, 1792 : 119 - 130
  • [6] Resolution Calculi for Non-normal Modal Logics
    Pattinson, Dirk
    Olivetti, Nicola
    Nalon, Claudia
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 322 - 341
  • [7] Quantification in Some Non-normal Modal Logics
    Erica Calardo
    Antonino Rotolo
    Journal of Philosophical Logic, 2017, 46 : 541 - 576
  • [8] Intuitionistic Non-normal Modal Logics: A General Framework
    Tiziano Dalmonte
    Charles Grellois
    Nicola Olivetti
    Journal of Philosophical Logic, 2020, 49 : 833 - 882
  • [9] Interpretations of intuitionist logic in non-normal modal logics
    Colin Oakes
    Journal of Philosophical Logic, 1999, 28 : 47 - 60
  • [10] Intuitionistic Non-normal Modal Logics: A General Framework
    Dalmonte, Tiziano
    Grellois, Charles
    Olivetti, Nicola
    JOURNAL OF PHILOSOPHICAL LOGIC, 2020, 49 (05) : 833 - 882
12345