Pages that link to "Item:Q5895185"

The following pages link to Two-Variable First-Order Logic with Equivalence Closure (Q5895185):

Displaying 9 items.

• Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) (Q288804) (← 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)
• The two‐variable fragment with counting and equivalence (Q3460527) (← links)
• The Support of Integer Optimal Solutions (Q4577743) (← links)
• The Fluted Fragment with Transitivity (Q5092377) (← 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)