Distributed Logics

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.