with van Ditmarsch, H. , Hill, B. , 2009, 'Logic of change, change of logic', Synthese 171 (2), 227-234.