Tableau Systems for Logics of Subinterval Structures over Dense Orderings

    TABLEAUX, pp. 73-89, 2007.

    Cited by: 15|Bibtex|Views2|Links
    EI
    Keywords:
    dense linear orderingsubinterval structurestableau systemscomplete deductive systemdecidability resultMore(9+)

    Abstract:

    We construct a sound, complete, and terminating tableau system for the interval temporal logic ${{\rm D}_\sqsubset}$ interpreted in interval structures over dense linear orderings endowed with strictsubinterval relation (where both endpoints of the sub-interval are strictly inside the interval). In order to prove the soundness and complet...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments