Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

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;]
Published on September 17, 2015
Volume 11, Issue 3

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;]
Published on December 10, 2015
Volume 11, Issue 4
  • < Previous
  • 1
  • Next >