Pages that link to "Item:Q5212557"

The following pages link to On the satisfiability problem for fragments of two-variable logic with one transitive relation (Q5212557):

Displaying 6 items.

• On the complexity of the two-variable guarded fragment with transitive guards (Q859827) (← links)
• The fluted fragment with transitive relations (Q2238133) (← links)
• \(\mathrm{FO}^2\) with one transitive relation is decidable (Q2957894) (← links)
• The Fluted Fragment with Transitivity (Q5092377) (← links)
• Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable (Q5109226) (← links)
• On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity (Q5387847) (← links)