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 条
  • [21] Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics
    Demey, Lorenz
    AXIOMS, 2021, 10 (03)
  • [22] 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
  • [23] 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
  • [24] Clausal resolution for normal modal logics
    Nalon, Claudia
    Dixon, Clare
    JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 2007, 62 (3-4): : 117 - 134
  • [25] Modularisation of Sequent Calculi for Normal and Non-normal Modalities
    Lellmann, Bjoern
    Pimentel, Elaine
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2019, 20 (02)
  • [26] ALGEBRAIC SEMANTICS FOR NON-NORMAL TEMPORAL LOGICS
    Wang, Shanxia
    JOURNAL OF NONLINEAR AND CONVEX ANALYSIS, 2023, 24 (06) : 1253 - 1271
  • [27] Explicit Non-normal Modal Logic
    Rohani, Atefeh
    Studer, Thomas
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2021), 2021, 13038 : 64 - 81
  • [28] 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
  • [29] Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM
    Dalmonte, Tiziano
    Negri, Sara
    Olivetti, Nicola
    Pozzato, Gian Luca
    INTELLIGENZA ARTIFICIALE, 2020, 14 (02) : 215 - 229
  • [30] Non-iterative Modal Resolution Calculi
    Pattinson, Dirk
    Nalon, Claudia
    AUTOMATED REASONING, IJCAR 2024, PT II, 2024, 14740 : 97 - 113
12345