The results presented in this thesis are small additions to the field known as the theory of formal languages. The central theme is logical characterisations of language classes using contingency functions on strings, that ...