Two-dimensional modal logics for relational algebras and temporal logic of intervals / [by] Yde Venema

Two-dimensional modal logics for relational algebras and temporal logic of intervals / [by] Yde Venema