Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report)

    CoRR, Volume abs/1604.03515, 2016.

    Cited by: 7|Bibtex|Views2|Links
    EI

    Abstract:

    We investigate the satisfiability problem for Horn fragments of the Halpern-Shoham interval temporal logic depending on the type (box or diamond) of the interval modal operators, the type of the underlying linear order (discrete or dense), and the type of semantics for the interval relations (reflexive or irreflexive). For example, we s...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments