Modal and temporal operators on partial orders

Bernhard Möller. Modal and temporal operators on partial orders. In Ewa Orlowska, Andrzej Szalas, editors, Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998. pages 165-169, 1998.

Abstract

Abstract is missing.