Pages that link to "Item:Q5109226"

The following pages link to Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable (Q5109226):

Displaying 8 items.

• The fluted fragment with transitive relations (Q2238133) (← links)
• \(\mathrm{FO}^2\) with one transitive relation is decidable (Q2957894) (← links)
• Decidability of weak logics with deterministic transitive closure (Q4635613) (← links)
• (Q5092376) (← links)
• The Fluted Fragment with Transitivity (Q5092377) (← links)
• (Q5094127) (← links)
• On the satisfiability problem for fragments of two-variable logic with one transitive relation (Q5212557) (← links)
• First order Büchi automata and their application to verification of LTL specifications (Q6643476) (← links)