Pages that link to "Item:Q2915891"

The following pages link to Small substructures and decidability issues for first-order logic with two variables (Q2915891):

Displaying 12 items.

• Metric propositional neighborhood logic with an equivalence relation (Q329414) (← links)
• The fluted fragment with transitive relations (Q2238133) (← links)
• Propositional epistemic logics with quantification over agents of knowledge (an alternative approach) (Q2323640) (← links)
• Small substructures and decidability issues for first-order logic with two variables (Q2915891) (← links)
• \(\mathrm{FO}^2\) with one transitive relation is decidable (Q2957894) (← links)
• On the Decision Problem for Two-Variable First-Order Logic (Q4338040) (← links)
• Order-Invariance of Two-Variable Logic is Decidable (Q4635945) (← links)
• The Fluted Fragment with Transitivity (Q5092377) (← links)
• (Q5094127) (← links)
• Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable (Q5109226) (← links)
• Epistemic logics with quantification over epistemic operators: decidability and expressiveness (Q6054107) (← links)
• A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic (Q6082225) (← links)