The following pages link to On logics with two variables (Q1960419):
Displayed 27 items.
- A logical approach to locality in pictures languages (Q295631) (← links)
- Expressive power of ``now'' and ``then'' operators (Q302173) (← links)
- Complexity of two-variable dependence logic and IF-logic (Q476186) (← links)
- Group announcement logic (Q975877) (← links)
- The guarded fragment with transitive guards (Q1877098) (← links)
- Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic (Q2208242) (← links)
- Data-complexity of the two-variable fragment with counting quantifiers (Q2389348) (← links)
- An event-based fragment of first-order logic over intervals (Q2429992) (← links)
- Complexity of the two-variable fragment with counting quantifiers (Q2567347) (← links)
- Two variable first-order logic over ordered domains (Q2747711) (← links)
- Small substructures and decidability issues for first-order logic with two variables (Q2915891) (← links)
- Graphs Identified by Logics with Counting (Q2946347) (← links)
- Communicating Finite-State Machines and Two-Variable Logic (Q3304111) (← links)
- Quantitative Logic Reasoning (Q3305344) (← links)
- Undecidability of First-Order Intuitionistic and Modal Logics with Two variables (Q3370616) (← links)
- Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs (Q3586010) (← links)
- Comparing the succinctness of monadic query languages over finite trees (Q4659888) (← links)
- Model Checking Games (Q4916199) (← links)
- On the Restraining Power of Guards (Q4948538) (← links)
- (Q5009419) (← links)
- (Q5018521) (← links)
- (Q5092390) (← links)
- (Q5094127) (← links)
- Regular Graphs and the Spectra of Two-Variable Logic with Counting (Q5258916) (← links)
- First-order definable counting-only queries (Q5919275) (← links)
- A Note on C² Interpreted over Finite Data-Words (Q6060103) (← links)
- A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic (Q6082225) (← links)