107 citations · 207 across the 14 of their papers we have counts for
6 papers · 1 filter
PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse
Diego Figueira, Santiago Figueira, Edwin Pin
We introduce CPDL+, a family of expressive logics rooted in Propositional Dynamic Logic (PDL). In terms of expressive power, CPDL+ strictly contains PDL extended with intersection…
Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries
Diego Figueira, Rémi Morvan
We show that the problem of whether a query is equivalent to a query of tree-width is decidable, for the class of Unions of Conjunctive Regular Path Queries with two-way naviga…
Playing with Repetitions in Data Words Using Energy Games
Diego Figueira, Anirban Majumdar, M. Praveen
We introduce two-player games which build words over infinite alphabets, and we study the problem of checking the existence of winning strategies. These games are played by two pla…
Reasoning about Data Repetitions with Counter Systems
Stephane Demri, Diego Figueira, M Praveen
We study linear-time temporal logics interpreted over data words with multiple attributes. We restrict the atomic formulas to equalities of attribute values in successive positions…
Satisfiability for two-variable logic with two successor relations on finite linear orders
Diego Figueira
We study the finitary satisfiability problem for first order logic with two variables and two binary relations, corresponding to the induced successor relations of two finite linea…
Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma
Diego Figueira, Santiago Figueira, Sylvain Schmitz +1
Dickson's Lemma is a simple yet powerful tool widely used in termination proofs, especially when dealing with counters or related data structures. However, most computer scientists…