Pages that link to "Item:Q2720401"
From MaRDI portal
The following pages link to PSpace reasoning for graded modal logics (Q2720401):
Displaying 25 items.
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (Q352965) (← links)
- Comparative study of variable precision rough set model and graded rough set model (Q433500) (← links)
- A description logic based situation calculus (Q604908) (← links)
- \({\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)
- CTL\(^\ast\) with graded path modalities (Q1784942) (← links)
- Answering regular path queries in expressive description logics via alternating tree-automata (Q2252521) (← links)
- Model-checking graded computation-tree logic with finite path semantics (Q2285155) (← links)
- A tableau decision procedure for \(\mathcal{SHOIQ}\) (Q2462647) (← links)
- Reasoning in description logics by a reduction to disjunctive datalog (Q2462648) (← links)
- Complexity of modal logics with Presburger constraints (Q2638188) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)
- PSPACE bounds for rank-1 modal logics (Q2946571) (← links)
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
- CTL Model-Checking with Graded Quantifiers (Q3540061) (← links)
- (Q5101338) (← links)
- On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics (Q5387294) (← links)
- Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)
- (Q5483013) (← links)
- On Composing Finite Forests with Modal Logics (Q5886519) (← links)
- Completing the Picture: Complexity of Graded Modal Logics with Converse (Q6063859) (← links)
- COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND (Q6131221) (← links)
