CoNP complexity for combinations of non-normal modal logics

Cites Work

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