Pages that link to "Item:Q5479274"
From MaRDI portal
The following pages link to Automated Reasoning with Analytic Tableaux and Related Methods (Q5479274):
Displaying 8 items.
- ExpTime tableau decision procedures for regular grammar logics with converse (Q763333) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- (Q3408128) (← links)
- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs (Q3602955) (← links)
- (Q3726092) (← links)
- The Complexity of Regularity in Grammar Logics and Related Modal Logics (Q4529491) (← links)
- Modal logics for reasoning about infinite unions and intersections of binary relations (Q4583172) (← links)
- A Tableau Calculus for Regular Grammar Logics with Converse (Q5191117) (← links)