Pages that link to "Item:Q671639"

The following pages link to Interval logics and their decision procedures. I: An interval logic (Q671639):

Displaying 2 items.

• Interval logics and their decision procedures. II: A real-time interval logic (Q672040) (← links)
• Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings (Q4982118) (← links)