Resolution Calculi for Non-normal Modal Logics

被引：1
|
作者：
Pattinson, Dirk [1 ]
Olivetti, Nicola [2 ]
Nalon, Claudia [3 ]
机构：
[1] Australian Natl Univ, Sch Comp, Canberra, ACT, Australia
[2] Aix Marseille Univ, CNRS, LIS, Marseille, France
[3] Univ Brasilia, Dept Comp Sci, Brasilia, DF, Brazil
来源：
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023 | 2023年 / 14278卷
关键词：
Modal Logic; Automated Reasoning; Resolution;
D O I：
10.1007/978-3-031-43513-3_18
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present resolution calculi for the cube of classical non-normal modal logics. The calculi are based on a simple clausal form that comprises both local and global clauses. Any formula can be efficiently transformed into a small set of clauses. The calculi contain uniform rules and provide a decision procedure for all logics. Their completeness is based on a new and crucial notion of inconsistency predicate, needed to ensure the usual closure properties of maximal consistent sets. As far as we know the calculi presented here are the first resolution calculi for this class of logics.
引用
收藏
页码：322 / 341
页数：20
相关论文
共 50 条
  • [11] Intuitionistic Non-normal Modal Logics: A General Framework
    Tiziano Dalmonte
    Charles Grellois
    Nicola Olivetti
    Journal of Philosophical Logic, 2020, 49 : 833 - 882
  • [12] Interpretations of intuitionist logic in non-normal modal logics
    Colin Oakes
    Journal of Philosophical Logic, 1999, 28 : 47 - 60
  • [13] Intuitionistic Non-normal Modal Logics: A General Framework
    Dalmonte, Tiziano
    Grellois, Charles
    Olivetti, Nicola
    JOURNAL OF PHILOSOPHICAL LOGIC, 2020, 49 (05) : 833 - 882
  • [14] REMARKS ON THE SEMANTICS OF NON-NORMAL MODAL-LOGICS
    SCHOTCH, PK
    TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 1984, 3 (01): : 85 - 90
  • [15] CoNP Complexity for Combinations of Non-normal Modal Logics
    Dalmonte, Tiziano
    Mazzullo, Andrea
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 302 - 321
  • [16] Interpretations of intuitionist logic in non-normal modal logics
    Oakes, C
    JOURNAL OF PHILOSOPHICAL LOGIC, 1999, 28 (01) : 47 - 60
  • [17] Non-Normal Modal Logics: A Challenge to Proof Theory
    Negri, Sara
    LOGICA YEARBOOK 2016, 2017, : 125 - 140
  • [18] 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
  • [19] Uniform Lyndon Interpolation for Basic Non-normal Modal Logics
    Tabatabai, Amirhossein Akbar
    Iemhoff, Rosalie
    Jalali, Raheleh
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2021), 2021, 13038 : 287 - 301
  • [20] Uniform lyndon interpolation for basic non-normal modal and conditional logics
    Tabatabai, Amirhossein Akbar
    Iemhoff, Rosalie
    Jalali, Raheleh
    JOURNAL OF LOGIC AND COMPUTATION, 2024,
12345