Tableau Systems for Logics of Subinterval Structures over Dense Orderings

TABLEAUX, pp. 73-89, 2007.

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:

0

Tags