CoNP complexity for combinations of non-normal modal logics

DOI10.1007/978-3-031-43513-3_17MaRDI QIDQ6541159zbMATH OpenFDO

Authors Tiziano Dalmonte

Publication date 17 May 2024

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

complexityfusioncombination of logicshypersequent calculusuniversal modalitynon-normal modal logics

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• scientific article; zbMATH DE number 4181308 (Why is no real title available?)
• scientific article; zbMATH DE number 3950488 (Why is no real title available?)
• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 1215478 (Why is no real title available?)
• scientific article; zbMATH DE number 1222489 (Why is no real title available?)
• scientific article; zbMATH DE number 1303434 (Why is no real title available?)
• scientific article; zbMATH DE number 757645 (Why is no real title available?)
• scientific article; zbMATH DE number 1414365 (Why is no real title available?)
• scientific article; zbMATH DE number 1431908 (Why is no real title available?)
• scientific article; zbMATH DE number 5263148 (Why is no real title available?)
• A Modal Logic for Coalitional Power in Games
• A cut-free simple sequent calculus for modal logic S5
• A guide to completeness and complexity for modal logics of knowledge and belief
• A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
• A tableau decision procedure for \(\mathcal{ALC}\) with monotonic modal operators and constant domains
• Admissibility of cut in congruent modal logics
• Algebraic and model theoretic techniques for fusion decidability in modal logics
• Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity
• Hypersequent rules with restricted contexts for propositional modal logics
• Interpolation, amalgamation and combination (the non-disjoint signatures case)
• Intuitionistic non-normal modal logics: a general framework
• Many-dimensional modal logics: theory and applications
• Modal logic
• Modular sequent calculi for classical modal logics
• Modularisation of sequent calculi for normal and non-normal modalities
• Modularity results for interpolation, amalgamation and superamalgamation
• Non-normal Modal description logics
• Non-normal modal logics and conditional logics: semantic analysis and proof theory
• Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi
• Obligation, free choice, and the logic of weakest permissions
• On the logic of ability
• Products of modal logics, part 1
• Proof search in nested sequent calculi
• Properties of independently axiomatizable bimodal logics
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
• Sequent calculi and decision procedures for weak modal systems
• Sequent calculi for monotonic modal logics
• Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
• The Unrestricted Combination of Temporal Logic Systems
• The deliberative stit: A study of action, omission, ability, and obligation
• The dynamics of epistemic attitudes in resource-bounded agents
• Wijesekera-style constructive modal logics

This page was built for publication: CoNP complexity for combinations of non-normal modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6541159)