Tableaux for Logics of Subinterval Structures over Dense Orderings
J. Log. Comput., pp. 133-166, 2010.
dense linear orderingsmall pseudo-model propertygeneric tableau-based theorem proversubinterval structuresdifficult caseMore(7+)
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
Full Text (Upload PDF)
PPT (Upload PPT)