##
###
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders
[chapter]

Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco

2014
*
Lecture Notes in Computer Science
*

A complete classification *of* all HS fragments with respect to their relative expressive power has been recently given for the classes *of* all *linear* *orders* and *of* all dense *linear* *orders*. ...
The cases *of* discrete and finite *linear* *orders* turn out to be much more involved. ...
Many classes *of* *linear* *orders* are *of* practical interest, including the class *of* all (resp., dense, discrete, finite) *linear* *orders*, as well as the particular *linear* *order* on R (resp., Q, Z, and N). ...

doi:10.1007/978-3-319-11558-0_19
fatcat:zg3fc5venzfyfna4njpyg6jlai