BRICS · Contents · Programme

Distributed Logics

A BRICS Mini-Course
January 20 and 21, 1997

Lectures by
P. S. Thiagarajan
SPIC Mathematical Institute, Madras, India


Course Contents

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.

  1. Dynamic logics for distributed transition systems.
  2. Modal logics for prime event structures.
  3. Linear time temporal logics for Mazurkiewicz traces.
  4. 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