The following pages link to (Q3838802):
Displayed 6 items.
- ExpTime tableau decision procedures for regular grammar logics with converse (Q763333) (← links)
- Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation (Q814504) (← links)
- Decidability of SHIQ with complex role inclusion axioms (Q814639) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs (Q3602955) (← links)
- A Tableau Calculus for Regular Grammar Logics with Converse (Q5191117) (← links)