Coping with semilattices of relations in logics with relative accessibility relations

Stéphane Demri. Coping with semilattices of relations in logics with relative accessibility relations. 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 43-47, 1998.

Abstract

Abstract is missing.