The power of individual EU Member States has been changing over the past decades as a result revisions to voting systems and enlargements European Union. present article analyses development in Council Union before after withdrawal United Kingdom Great Britain Northern Ireland from We use calculation standardized Banzhaf index calculate legislative States. calculations recorded table point chan...

We show a property of strings is expressible in the two-variable fragment of rst-order logic if and only if it is expressible by both a 2 and a 2 sentence. We thereby establish: where UTL stands for the string properties expressible in the temporal logic withèventually in the future' andèventually in the past' as the only temporal operators and UL stands for the class of unambiguous languages. ...