Galleries and Institutions

Abstract

This preprint has four parts:

1. Unified theory of knowledge representation (presented at AIMSA 84 conference in Varna).
2. Unified theory for modal, dynamic, temporal and process logics (presented at PUC conference in Rio de Janeiro).
3. Unified theory for logical programming and semantic representation (presented at Copenhagen workshop).
4. Unified theory of languages, models and logics.

The ''unified theory'' in the titles of each part refers to the theory of galleries, a development of the theory of institutions. These theories seem to be relevant in many areas of computer science: 1 - 3 are applications to particular areas and papers on:

• Processes, event systems, petri nets and other forms of parallelism
• specification, program development and design languages

are under preparation.

The current status of the general theory is given in part 4, but it is not clear how this theory should be developed further.