Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings

    Electr. Notes Theor. Comput. Sci., pp. 131-151, 2009.

    Cited by: 12|Bibtex|Views1|Links
    EI
    Keywords:
    dense linear orderinginterval temporal logicdecision proceduresimilar tableau-based decision procedurefinite model propertyMore(12+)

    Abstract:

    We introduce special pseudo-models for the interval logic of proper subintervals over dense linear orderings. We prove finite model property with respect to such pseudo-models, and using that result we develop a decision procedure based on a sound, complete, and terminating tableau for that logic. The case of proper subintervals is essent...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments