BRICS · Contents · Programme

**A BRICS Mini-Course**

**January 20 and 21, 1997**

**Lectures by
P. S. Thiagarajan
**

**
**

A common feature of these logics is that their syntax and semantics-unlike in the case of conventional temporal logics-will directly reflect the fact that they are being interpreted over distributed behaviours.

Apart from an overview which will emphasize the motivation for considering such logics, the lectures will consider representative members of the following families of logics.

- Dynamic logics for distributed transition systems.
- Modal logics for prime event structures.
- Linear time temporal logics for Mazurkiewicz traces.
- Branching time temporal logics for trace structures (i.e. the
branching time counterparts of Mazurkiewicz traces).
The logics in 4. are the subject of current research.
## Programme

### Monday January 20, 1997, 10:15-12:00 in Colloquium B4

### Tuesday January 21, 1997, 10:15-12:00 in Colloquium B4