CoNP Complexity for Combinations of Non-normal Modal Logics

被引：0
|
作者：
Dalmonte, Tiziano [1 ]
Mazzullo, Andrea [2 ]
机构：
[1] Free Univ Bozen Bolzano, Bolzano, Italy
[2] Univ Trento, Trento, Italy
来源：
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023 | 2023年 / 14278卷
关键词：
Non-normal modal logics; Combination of logics; Fusion; Universal modality; Complexity; Hypersequent calculus; FUSION DECIDABILITY; ABILITY; CALCULI;
D O I：
10.1007/978-3-031-43513-3_17
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We study the complexity of the validity/derivability problem for combinations of non-normal modal logics in the form of logic fusions, possibly extended with simple interaction axioms. We first present cutfree sequent calculi for these logic combinations. Then, we introduce hypersequent calculi with invertible rules, and show that they allow for a coNP proof search procedure. In the last part of the paper, we consider the case of combinations of logics sharing a universal modality. Using the hypersequent calculi, we show that these logics remain coNP-complete, and also provide an equivalent axiomatisation for them.
引用
收藏
页码：302 / 321
页数：20
相关论文
共 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] 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
  • [24] ALGEBRAIC SEMANTICS FOR NON-NORMAL TEMPORAL LOGICS
    Wang, Shanxia
    JOURNAL OF NONLINEAR AND CONVEX ANALYSIS, 2023, 24 (06) : 1253 - 1271
  • [25] Explicit Non-normal Modal Logic
    Rohani, Atefeh
    Studer, Thomas
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2021), 2021, 13038 : 64 - 81
  • [26] 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
  • [27] 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
  • [28] Combinations of Modal Logics
    Brandon Bennett
    Clare Dixon
    Michael Fisher
    Ullrich Hustadt
    Enrico Franconi
    Ian Horrocks
    Maarten de Rijke
    Artificial Intelligence Review, 2002, 17 : 1 - 20
  • [29] Combinations of modal logics
    Bennett, B
    Dixon, C
    Fisher, M
    Hustadt, U
    Franconi, E
    Horrocks, I
    De Rijke, M
    ARTIFICIAL INTELLIGENCE REVIEW, 2002, 17 (01) : 1 - 20
  • [30] NORMALITY OF LINEAR COMBINATIONS OF NON-NORMAL RANDOM VARIABLES
    KALE, BK
    AMERICAN MATHEMATICAL MONTHLY, 1970, 77 (09): : 992 - &
12345