Tableau-based decision procedures for the logics of subinterval structures over dense orderings

    Journal of Logic and Computation, .

    Cited by: 10|Bibtex|Views1|

    Abstract:

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

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments