A BRICS Mini-Course
January 20 and 21, 1997
P. S. Thiagarajan
SPIC Mathematical Institute, Madras, India
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.