Pages that link to "Item:Q859827"
From MaRDI portal
The following pages link to On the complexity of the two-variable guarded fragment with transitive guards (Q859827):
Displaying 13 items.
- Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment (Q2055791) (← links)
- The fluted fragment with transitive relations (Q2238133) (← links)
- Complexity of monodic guarded fragments over linear and real time (Q2576942) (← links)
- Small substructures and decidability issues for first-order logic with two variables (Q2915891) (← links)
- Equivalence closure in the two-variable guarded fragment (Q3133154) (← links)
- (Q4736875) (← links)
- (Q5092376) (← links)
- One-Dimensional Logic over Trees (Q5111281) (← links)
- (Q5136301) (← links)
- On the satisfiability problem for fragments of two-variable logic with one transitive relation (Q5212557) (← links)
- On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity (Q5387847) (← links)
- Logics in Artificial Intelligence (Q5394138) (← links)
- Computer Science Logic (Q5394585) (← links)