Tableaux for Logics of Subinterval Structures over Dense Orderings

    J. Log. Comput., pp. 133-166, 2010.

    Cited by: 63|Bibtex|Views12|Links
    EI
    Keywords:
    dense linear orderingsmall pseudo-model propertygeneric tableau-based theorem proversubinterval structuresdifficult caseMore(7+)

    Abstract:

    In this article, we develop tableau-based decision procedures for the logics of subinterval structures over dense linear orderings. In particular, we consider the two difficult cases: the relation of strict subintervals (with both endpoints strictly inside the current interval) and the relation of proper subintervals (that can share one e...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments