The following pages link to (Q3509063):
Displayed 3 items.
- ExpTime tableau decision procedures for regular grammar logics with converse (Q763333) (← links)
- Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic (Q985144) (← links)
- A Tableau Calculus for Regular Grammar Logics with Converse (Q5191117) (← links)