activity
20112025
most citedThe Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower bound Constraints (Full Version)

13 citations · 32 across the 18 of their papers we have counts for

collaborators
Showing 2016Show all

1 paper · 1 filter

cs.LO2016★ 1 cited

Two-variable Logic with a Between Predicate

Andreas Krebs, Kamal Lodaya, Paritosh Pandya +1

We study an extension of FO^2[<], first-order logic interpreted in finite words, in which formulas are restricted to use only two variables. We adjoin to this language two-variable…