Pages that link to "Item:Q2747711"

The following pages link to Two variable first-order logic over ordered domains (Q2747711):

Displaying 19 items.

• Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) (Q288804) (← links)
• Metric propositional neighborhood logic with an equivalence relation (Q329414) (← links)
• Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers (Q391115) (← links)
• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions (Q636267) (← links)
• An optimal decision procedure for right propositional neighborhood logic (Q877892) (← links)
• Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
• The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT (Q2251124) (← links)
• An event-based fragment of first-order logic over intervals (Q2429992) (← links)
• Small substructures and decidability issues for first-order logic with two variables (Q2915891) (← links)
• Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← links)
• Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders (Q3010361) (← links)
• Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders (Q3532458) (← links)
• (Q5028481) (← links)
• (Q5090950) (← links)
• (Q5094127) (← links)
• Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable (Q5109226) (← links)
• (Q5129940) (← links)
• On the Decidability of Elementary Modal Logics (Q5277903) (← links)
• Two-Variable Logic with Counting and Trees (Q5278191) (← links)