Pages that link to "Item:Q763333"
From MaRDI portal
The following pages link to ExpTime tableau decision procedures for regular grammar logics with converse (Q763333):
Displaying 5 items.
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching (Q352943) (← links)
- Efficient local reductions to basic modal logic (Q2055845) (← links)
- Local is best: efficient reductions to modal logic \textsf{K} (Q2102930) (← links)
- A Tableau Calculus for Regular Grammar Logics with Converse (Q5191117) (← links)
- Modal Logics with Hard Diamond-Free Fragments (Q5283414) (← links)
