Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
Lecture Notes in Computer Science: CoNP Complexity for Combinations of Non-normal Modal Logics
Beteiligte:
Dalmonte, Tiziano;
Mazzullo, Andrea
Erschienen:
Springer Nature Switzerland, 2023
Erschienen in:Lecture Notes in Computer Science
Sprache:
Nicht zu entscheiden
DOI:
10.1007/978-3-031-43513-3_17
ISSN:
0302-9743;
1611-3349
Entstehung:
Anmerkungen:
Beschreibung:
<jats:title>Abstract</jats:title><jats:p>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 cut-free 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.</jats:p>