CoNP complexity for combinations of non-normal modal logics
type: Item
instance of: scholarly article
title: CoNP complexity for combinations of non-normal modal logics
DOI: 10.1007/978-3-031-43513-3_17
author: Tiziano Dalmonte
author: Q6082231
publication date: 2024-05-17T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7850751
zbMATH Keywords: non-normal modal logics
zbMATH Keywords: combination of logics
zbMATH Keywords: fusion
zbMATH Keywords: universal modality
zbMATH Keywords: complexity
zbMATH Keywords: hypersequent calculus
MaRDI profile type: Publication
cites work: OBLIGATION, FREE CHOICE, AND THE LOGIC OF WEAKEST PERMISSIONS
cites work: Q3837723
cites work: A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
cites work: The dynamics of epistemic attitudes in resource-bounded agents
cites work: Modal logic
cites work: On the logic of ability
cites work: Q3867808
cites work: Non-normal modal logics and conditional logics: semantic analysis and proof theory
cites work: Q5884951
cites work: Intuitionistic non-normal modal logics: a general framework
cites work: Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity
cites work: Non-normal Modal description logics
cites work: Q5224565
cites work: Q4942680
cites work: Q4218020
cites work: The Unrestricted Combination of Temporal Logic Systems
cites work: Q3720564
cites work: Many-dimensional modal logics: theory and applications
cites work: Products of modal logics, part 1
cites work: Interpolation, amalgamation and combination (the non-disjoint signatures case)
cites work: Modularity results for interpolation, amalgamation and superamalgamation
cites work: Q3408136
cites work: Modular sequent calculi for classical modal logics
cites work: A guide to completeness and complexity for modal logics of knowledge and belief
cites work: The deliberative stit: A study of action, omission, ability, and obligation
cites work: Q3435245
cites work: Q3105688
cites work: Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
cites work: Properties of independently axiomatizable bimodal logics
cites work: Sequent calculi and decision procedures for weak modal systems
cites work: Hypersequent rules with restricted contexts for propositional modal logics
cites work: Proof Search in Nested Sequent Calculi
cites work: Modularisation of Sequent Calculi for Normal and Non-normal Modalities
cites work: Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
cites work: A Modal Logic for Coalitional Power in Games
cites work: A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
cites work: Q5457387
cites work: A Tableau Decision Procedure for ALC With Monotonic Modal Operators and Constant Domains
cites work: Q4833777
cites work: Q3204443
cites work: Q4215611
cites work: Q4948690
cites work: Q4250043
description: scientific article; zbMATH DE number 7850751