Pages that link to "Item:Q2720401"
From MaRDI portal
The following pages link to PSPACE Reasoning for Graded Modal Logics (Q2720401):
Displayed 10 items.
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Decidability of SHIQ with complex role inclusion axioms (Q814639) (← links)
- Conceptual logic programs (Q854977) (← links)
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657) (← links)
- Data complexity of query answering in expressive description logics via tableaux (Q945056) (← links)
- A tableau decision procedure for \(\mathcal{SHOIQ}\) (Q2462647) (← links)
- Reasoning in description logics by a reduction to disjunctive datalog (Q2462648) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)
- CTL Model-Checking with Graded Quantifiers (Q3540061) (← links)
- On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics (Q5387294) (← links)