Search

• < Previous
• 1
• Next >

---

Logics with rigidly guarded data tests

Gabriele Puppis ; Thomas Colcombet ; Clemens Ley.

The notion of orbit finite data monoid was recently introduced by Bojanczyk as an algebraic object for defining recognizable languages of data words. Following Buchi's approach, we introduce a variant of monadic second-order logic with data equality tests that captures precisely the data languages&nbsp;[&hellip;]

---

A decidable weakening of Compass Logic based on cone-shaped cardinal directions

Angelo Montanari ; Gabriele Puppis ; Pietro Sala.

We introduce a modal logic, called Cone Logic, whose formulas describe properties of points in the plane and spatial relationships between them. Points are labelled by proposition letters and spatial relations are induced by the four cone-shaped cardinal directions. Cone Logic can be seen as a&nbsp;[&hellip;]

---

One-way definability of two-way word transducers

Félix Baschenis ; Olivier Gauwin ; Anca Muscholl ; Gabriele Puppis.

Functional transductions realized by two-way transducers (or, equally, by streaming transducers or MSO transductions) are the natural and standard notion of "regular" mappings from words to words. It was shown in 2013 that it is decidable if such a transduction can be implemented by some one-way&nbsp;[&hellip;]

---