On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations

Renwei Li, José Carmo. On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations. Logic Journal of the IGPL, 3(5):765-790, 1995. [doi]

Abstract

Abstract is missing.