Pages that link to "Item:Q4529491"
From MaRDI portal
The following pages link to The Complexity of Regularity in Grammar Logics and Related Modal Logics (Q4529491):
Displaying 11 items.
- ExpTime tableau decision procedures for regular grammar logics with converse (Q763333) (← links)
- Decidability of SHIQ with complex role inclusion axioms (Q814639) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- On Hierarchical Task Networks (Q2835901) (← links)
- A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic (Q2968856) (← links)
- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs (Q3602955) (← links)
- (Q4289049) (← links)
- A Tableau Calculus for Regular Grammar Logics with Converse (Q5191117) (← links)
- Modal Logics with Hard Diamond-Free Fragments (Q5283414) (← links)
- Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics (Q5460207) (← links)
- An Extension of Complex Role Inclusion Axioms in the Description Logic $\mathcal{SROIQ}$ (Q5747785) (← links)