Characterising Computational Devices with Logical Systems