COMP525:Reasoning about Action and Change
Module Aims
The aims of this module are to:
- give the student a feel for several formalisms that deal with change;
- show how logics can be used to specify and verify dynamic systems;
- give students a deeper knowledge of the semantics of such systems;
- develop awareness of the usual trade-off between expressivity and
complexity of logical languages
Module materials