LP-1989-03: Yde Venema Two-dimensional Modal Logics for Relation Algebras and Temporal Logic of Intervals 1.Full Text. < Back