X def b.c.0+ b.d.0 Y def X+ b.(c.0 + d.o) def Z W def a.Y

Last updated: 8/8/2022

X def b.c.0+ b.d.0 Y def X+ b.(c.0 + d.o) def Z W def a.Y a.Y + a.X (a) Draw a labelled transition system which includes the above states X, Y, Z and W. [5 marks] (b) Explain why Z2 W but Z 3 W. That is, argue that the second player has the winning strategy in the copy-cat (bisimulation) game which lasts for two rounds, but that the first player has the winning strategy in the game which lasts for three rounds. [3 marks] (c) Give a formula P of the modal logic M which is satisfied by Z but not by W. [2 marks]