Pages that link to "Item:Q2567343"

The following pages link to Deciding regular grammar logics with converse through first-order logic (Q2567343):

Displaying 14 items.

• Consequence-based and fixed-parameter tractable reasoning in description logics (Q490523) (← links)
• ExpTime tableau decision procedures for regular grammar logics with converse (Q763333) (← links)
• Representing ontologies using description logics, description graphs, and rules (Q840831) (← links)
• Reasoning with nominal schemas through absorption (Q2352498) (← links)
• Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
• A framework for intuitionistic grammar logics (Q2695538) (← links)
• Converse-PDL with regular inclusion axioms: a framework for MAS logics (Q2901207) (← links)
• Cheap Boolean Role Constructors for Description Logics (Q3532479) (← links)
• Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs (Q3602955) (← links)
• First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
• A Tableau Calculus for Regular Grammar Logics with Converse (Q5191117) (← links)
• Modal Logics with Hard Diamond-Free Fragments (Q5283414) (← links)
• An Extension of Complex Role Inclusion Axioms in the Description Logic $\mathcal{SROIQ}$ (Q5747785) (← links)
• Completing the Picture: Complexity of Graded Modal Logics with Converse (Q6063859) (← links)